Carla P. Gomes's Bio

Carla P. Gomes's Bio (*)

Carla Gomes is a Professor of Computer Science at Cornell University, with joint appointments in the Dept. of Computer Science, Dept. of Information Science, and the Dyson School of Applied Economics and Management. Gomes obtained a Ph.D. in computer science in the area of artificial intelligence and operations research from the University of Edinburgh. She also holds an M.Sc. in applied mathematics from the University of Lisbon. Her research has covered several areas in artificial intelligence and computer science, including the integration of constraint reasoning, operations research, and machine learning techniques for solving scale constraint reasoning and optimization problems, complete randomized search methods, and algorithm portfolios, planning and scheduling, and multi agent systems. Gomes’s central research themes are the integration of concepts from constraint and logical reasoning, mathematical programming, and machine learning, for large scale combinatorial problems; the study of the impact of structure on problem hardness; and the use of randomization techniques to improve the performance of exact (complete) search methods. More recently, Gomes has become deeply immersed in research in the new field of Computational Sustainability. Gomes is the Lead PI of an NSF Expeditions in Computing award on Computational Sustainability and the director of the newly established Institute for Computational Sustainability at Cornell University. Gomes is a Fellow of the Association for the Advancement of Artificial Intelligence.

Recent Honors and Awards

Fellow, Radcliffe Institute for Advanced Study, Harvard University (2011-12)

Lead P.I. NSF Expeditions in Computing, Computational Sustainability: Computational Methods for a Sustainable Environment, Economy, and Society (2008)

Fellow, Association for the Advancement of Artificial Intelligence (2007)

Program co-chair of the Twenty-Third Conference on Artificial Intelligence (AAAI-08)

Program co-chair of the special track on Computational Sustainability of the Twenty-Fith Conference on Artificial Intelligence (AAAI-11)

Program co-chair of the Ninth International Conference on Theory and Applications of Satisfiability Methods (SAT 2006)

Best Paper Award, “Model counting: A new strategy for obtaining good bounds,” Proceedings of the Twenty-first National Conference on Artificial Intelligence, (2006). (With B. Selman and A. Sabharwal.)

Distinguished Paper Award, “Statistical regimes across constrainedness regions,” Proceedings of the Tenth International Conference on the Principles and Practice of Constraint Programming, (2004). (With C. Fernandez, B. Selman, and C. Bessiere.)

Member, Executive Council, Association for the Advancement of Artificial Intelligence (2002–2005).

Conference chair of the Eighth International Conference on Principles and Practice of Constraint Programming (2002).

(*) Gomes's Bio or Gomes' Bio? Gomes's Bio: I follow the rule of usage of Strunk and White that states that the possessive singular of nouns should be formed with 's, whatever the final consonant (e.g., Charles's friend, Burns's poems, the witch's malice), with the exception of proper names ending in -es and -is (e.g., the possessive of Jesus is Jesus'). This is the usage of the United States Government Printing Office and of the Oxford University Press.

-----------------------------------------------------------------------------------------------------

Carla P. Gomes

Professor and Director

Institute for Computational Sustainability

Computing and Information Science,

Computer Science, and

Applied Economics and Management,

Director, Institute for Computational Sustainability

Mail address:

Dept. Computer Science
5133 Upson Hall
Cornell University
Ithaca, NY 14853
USA

607-255-9189(voice)
607-255-4428 (fax)

gomes at cs.cornell.edu

http://www.cs.cornell.edu/gomes