Carla Pedro Gomes is a Portuguese-American

computer scientist A computer scientist is a person who is trained in the academic study of computer science. Computer scientists typically work on the theoretical side of computation, as opposed to the hardware side on which computer engineers mainly focus (al ...

and professor at

Cornell University Cornell University is a private statutory land-grant research university based in Ithaca, New York. It is a member of the Ivy League. Founded in 1865 by Ezra Cornell and Andrew Dickson White, Cornell was founded with the intention to teach an ...

. She is the founding Director of the

Institute for Computational Sustainability The Institute for Computational Sustainability (ICS), founded in 2008 with support from an Expeditions in Computing grantconstraint reasoning,

mathematical optimization Mathematical optimization (alternatively spelled ''optimisation'') or mathematical programming is the selection of a best element, with regard to some criterion, from some set of available alternatives. It is generally divided into two subfi ...

, and randomization techniques for

exact Exact may refer to: * Exaction, a concept in real property law * ''Ex'Act'', 2016 studio album by Exo * Schooner Exact, the ship which carried the founders of Seattle Companies * Exact (company), a Dutch software company * Exact Change, an Ameri ...

search methods, algorithm selection,

multi-agent systems A multi-agent system (MAS or "self-organized system") is a computerized system composed of multiple interacting intelligent agents.Hu, J.; Bhowmick, P.; Jang, I.; Arvin, F.; Lanzon, A.,A Decentralized Cluster Formation Containment Framework fo ...

, and

game theory Game theory is the study of mathematical models of strategic interactions among rational agents. Myerson, Roger B. (1991). ''Game Theory: Analysis of Conflict,'' Harvard University Press, p.&nbs1 Chapter-preview links, ppvii–xi It has appli ...

. Her work in computational sustainability includes ecological conservation, rural resource mapping, and

pattern recognition Pattern recognition is the automated recognition of patterns and regularities in data. It has applications in statistical data analysis, signal processing, image analysis, information retrieval, bioinformatics, data compression, computer graphi ...

for material science.

Education

Gomes received her master's degree in applied mathematics from the

Technical University of Lisbon The Technical University of Lisbon (UTL; pt, Universidade Técnica de Lisboa, ) was a Portuguese public university. It was created in 1930 in Lisbon, as a confederation of preexisting schools, and comprised the faculties and institutes of veter ...

in 1987 and her PhD in computer science from the

University of Edinburgh The University of Edinburgh ( sco, University o Edinburgh, gd, Oilthigh Dhùn Èideann; abbreviated as ''Edin.'' in post-nominals) is a public research university based in Edinburgh, Scotland. Granted a royal charter by King James VI in 15 ...

in 1993.

Career and research

Following her PhD, she worked at the

Air Force Research Laboratory The Air Force Research Laboratory (AFRL) is a scientific research organization operated by the United States Air Force Materiel Command dedicated to leading the discovery, development, and integration of aerospace warfighting technologies, pl ...

for five years before joining

as a research associate in 1998. She served as the Director of the Intelligent Information Systems Institute at Cornell from 2001 to 2008, and joined the faculty in 2003 as an associate professor with joint appointments in the Departments of Computing and Information Science, Applied Economics and Management, and Computer Science. In 2008, Gomes received a $10 million grant from the

National Science Foundation The National Science Foundation (NSF) is an independent agency of the United States government that supports fundamental research and education in all the non-medical fields of science and engineering. Its medical counterpart is the National I ...

to create the

Institute for Computational Sustainability The Institute for Computational Sustainability (ICS), founded in 2008 with support from an Expeditions in Computing grantRadcliffe Institute for Advanced Study The Radcliffe Institute for Advanced Study at Harvard University—also known as the Harvard Radcliffe Institute—is a part of Harvard University that fosters interdisciplinary research across the humanities, sciences, social sciences, arts, a ...

. In 2022, she co-leads the Schmidt AI in Science initiative at Cornell with

Fengqi You Fengqi You () is a professor and holds the Roxanne E. and Michael J. Zak Chair at Cornell University in the United States. His research focuses on systems engineering and data science. According to ''Google Scholar'', his h-index is 80. Career ...

Awards and honors

Gomes was elected a Fellow of the

Association for the Advancement of Artificial Intelligence The Association for the Advancement of Artificial Intelligence (AAAI) is an international scientific society devoted to promote research in, and responsible use of, artificial intelligence. AAAI also aims to increase public understanding of artif ...

in 2007 "for significant contributions to constraint reasoning and the integration of techniques from artificial intelligence, constraint programming, and operations research". She was elected a Fellow of the

American Association for the Advancement of Science The American Association for the Advancement of Science (AAAS) is an American international non-profit organization with the stated goals of promoting cooperation among scientists, defending scientific freedom, encouraging scientific respons ...

in 2013. With

Bart Selman Bart Selman is a Dutch-American professor of computer science at Cornell University. He has previously worked at AT&T Bell Laboratories. He is also co-founder and principal investigator of the Center for Human-Compatible Artificial Intelligence ( ...

and

Henry Kautz Henry A. Kautz (born 1956) is a computer scientist, Founding Director of Institute for Data Science and Professor at University of Rochester. He is interested in knowledge representation, artificial intelligence, data science and pervasive comp ...

, she received the 2016

Classic Paper Award for their 1998 paper ''Boosting Combinatorial Search through Randomization'', which provided "significant contributions to the area of automated reasoning and constraint solving through the introduction of randomization and restarts into complete solvers". She was elected a

Fellow A fellow is a concept whose exact meaning depends on context. In learned or professional societies, it refers to a privileged member who is specially elected in recognition of their work and achievements. Within the context of higher education ...

of the

Association for Computing Machinery The Association for Computing Machinery (ACM) is a US-based international learned society for computing. It was founded in 1947 and is the world's largest scientific and educational computing society. The ACM is a non-profit professional member ...

(ACM) in 2017.

Notable works

References

{{DEFAULTSORT:Gomes, Carla Living people American computer scientists Portuguese computer scientists Portuguese women computer scientists Artificial intelligence researchers Cornell University faculty Radcliffe fellows Fellows of the Association for the Advancement of Artificial Intelligence Fellows of the Association for Computing Machinery Fellows of the American Association for the Advancement of Science Air Force Research Laboratory people Sustainability advocates Technical University of Lisbon alumni Alumni of the University of Edinburgh Year of birth missing (living people)

Education

Career and research

Awards and honors

Notable works

See also

References