Date: POSTPONED - new date TBD

Location: 301 College Ave, Seminar Room

Note: 3:30 - 4:00p will be our social gathering with refreshments at 301 College Ave.

Abstract:

Many tasks, in areas as diverse as engineering, computer science, biology and economics, can be formulated as constraint-based reasoning problems. The science of constraints concerns the study of the computational properties of such constrained structures as they occur in real-world applications. I will discuss the constraint reasoning paradigm and how the discovery of special properties of very large constraint networks has led us to new powerful solution techniques for constraint satisfaction and optimization.

Bio:

Carla Gomes is an Associate Professor of Computing and Information Science, Applied Economics and Management, and Computer Science at Cornell University. She is also the director of the Intelligent Information Systems Institute (IISI) at Cornell. Carla 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. Carla's research has covered areas in artificial intelligence, computer science, and operations research. Carla'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 arising in combinatorial design, environment economics, and systems of autonomous distributed agents.

For more information, please contact Claire Cardie.

11-02-2006 Sarah