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
Cornell University
Ithaca, NY
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
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,
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,
Nomination, Best paper Award,
“From Sample to Model Counting”, Proceedings of the Twentieth
International Joint Conference on Artificial Intelligence,
Member, Executive Council, Association
for the Advancement of Artificial Intelligence (2002–2005).