Carla Pedro Gomes es una científica informática portuguesa-estadounidense y profesora de la Universidad de Cornell . Es la directora fundadora del Instituto de Sostenibilidad Computacional y se destaca por su trabajo pionero en el desarrollo de métodos computacionales para abordar los desafíos de la sostenibilidad. [2] [3] Ha realizado investigaciones en una variedad de áreas de inteligencia artificial e informática, incluido el razonamiento de restricciones , optimización matemática y técnicas de aleatorización para métodos de búsqueda exactos , selección de algoritmos , sistemas multiagente y teoría de juegos . [4] Su trabajo en sostenibilidad computacional incluye conservación ecológica, mapeo de recursos rurales y reconocimiento de patrones para la ciencia de materiales . [5] [6] [7]
Gomes recibió su maestría en matemáticas aplicadas de la Universidad Técnica de Lisboa en 1987 y su doctorado en informática de la Universidad de Edimburgo en 1993. [1] [8]
Después de su doctorado, trabajó en el Laboratorio de Investigación de la Fuerza Aérea durante cinco años antes de unirse a la Universidad de Cornell como investigadora asociada en 1998. Se desempeñó como Directora del Instituto de Sistemas de Información Inteligentes en Cornell de 2001 a 2008, y se unió a la facultad en 2003. como profesor asociado con nombramientos conjuntos en los Departamentos de Computación y Ciencias de la Información, Economía y Gestión Aplicadas e Informática. En 2008, Gomes recibió una subvención de 10 millones de dólares de la Fundación Nacional de Ciencias para crear el Instituto de Sostenibilidad Computacional para desarrollar métodos computacionales para la sostenibilidad ambiental, económica y social. [9] Se convirtió en profesora titular en los Departamentos de Ciencias de la Computación, Ciencias de la Información y la Escuela Dyson de Economía y Gestión en 2010. En 2011, fue becaria visitante en el Instituto Radcliffe de Estudios Avanzados . En 2022, codirige la iniciativa Schmidt AI in Science en Cornell con Fengqi You . [10]
Gomes fue elegido miembro de la Asociación para el Avance de la Inteligencia Artificial en 2007 "por sus importantes contribuciones al razonamiento de restricciones y la integración de técnicas de inteligencia artificial, programación de restricciones e investigación de operaciones". [11] Fue elegida miembro de la Asociación Estadounidense para el Avance de la Ciencia en 2013. [12] Con Bart Selman y Henry Kautz , recibió el premio al artículo clásico de la Asociación para el Avance de la Inteligencia Artificial de 2016 por su artículo de 1998 Boosting Combinatorial. Búsqueda mediante aleatorización , que proporcionó "contribuciones significativas al área del razonamiento automatizado y la resolución de restricciones mediante la introducción de aleatorización y reinicios en solucionadores completos". [13] Fue elegida miembro de la Association for Computing Machinery (ACM) en 2017. [14]