Carla P. Gomes

Associate Professor

Applied Economics and Management,

Computing and Information Science,

Computer Science

Director, Intelligent Information Systems Institute (IISI)

Mail address:

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

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

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

Carla P. 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 a M.Sc. in applied mathematics from the University of Lisbon. Gomes is the director of the Intelligent Information Systems Institute (IISI) at Cornell. Her research has covered many areas in artificial intelligence and computer science, including planning and scheduling, integration of constraint and mathematical programming techniques for solving combinatorial problems, complete randomized search methods, and algorithm portfolios. Gomes’s research spans the full range of theory to applications. Gomes’s central research themes program are the integration of concepts from mathematical programming with constraint programming; 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’s current projects focus on the interplay between problem structure and computational hardness, the use of approximation methods in large-scale constraint-based reasoning systems, and applications of constraint-based reasoning and optimization to combinatorial problems, such as those arising in combinatorial design, autonomous distributed agents, and most recently, game theory and combinatorial auctions.

Gomes is the program co-chair of Twenty-Third Conference on Artificial Intelligence (AAAI-08) and was the program co-chair of the Ninth International Conference on Theory and Applications of Satisfiability Methods (SAT-06), and the conference chair of the Eighth International Conference on Principles and Practice of Constraint Programming (CP-02).

Gomes is a Fellow of Association for the Advancement of Artificial Intelligence.

Recent Honors and Awards

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

Hans Bethe House Fellow, Cornell University (2007)

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

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

Nomination, Best paper Award, “The Impact of Network Topology on Pure Nash Equilibria in Graphical Games”, Proceedings of the Twenty-Second National Conference on Artificial Intelligence, Hyderabad, India, 2007. (With B. Dilkina and A. Sabharwal.)

Nomination, Best paper Award, “From Sample to Model Counting”, Proceedings of the Twentieth International Joint Conference on Artificial Intelligence, Hyderabad, India, Jan 2007. (With B. Selman and A. Sabharwal.)

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