Carla P. Gomes

Associate Professor

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

 

 

Carla Gomes is an associate professor of computer science at Cornell University, with joint appointments in Computer Science, Information Science, and Applied Economics and Management. She 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 planning and scheduling, integration of constraint reasoning and operations research techniques for solving combinatorial optimization problems, complete randomized search methods, and algorithm portfolios. Gomes’ central research themes  are the integration of concepts from mathematical programming, constraint programming, and algorithm theory 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. Gomes is currently pursuing the new research area 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

 

 

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)

 

Hans Bethe House Fellow, Cornell University (2007)

 

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).