 |
Pascal Van Hentenryck
Professor of Computer ScienceContact Information
Box 1910Brown University
Providence, RI 02912
Email: pvh at cs.brown.edu
Personal home page: http://www.cs.brown.edu/~pvh/
Research Areas
| Artificial Intelligence |
| Combinatorial Optimization |
| Computational Biology |
| Programming Languages |
| Verification and Reliable Systems |
| Parallel Computing |
Research Topics or Projects
Courses Taught
Research Interests
Pascal Van Hentenryck’s primary research area is the design and implementation of languages and tools to solve difficult combinatorial optimization problems. Optimization applications, which include scheduling, resource allocation, planning, and configuration problems, are becoming increasingly important. However, the computational and software complexity inherent in these applications make their development a challenging task. The purpose of Prof. Van Hentenryck’s research is to provide tools and algorithms that significantly reduce the development time and ease the maintenance of these applications.
Prof. Van Hentenryck’s main focus in this area has been the design and implementation of constraint programming systems, a novel approach to combinatorial optimization that complements and strengthens traditional mathematical programming technology. He has also worked on programming and modeling languages that integrate constraint programming, mathematical programming, and local search algorithms. His most recent work in this area is the Comet programming system for constraint-based local search. In recent years, Prof. Van Hentenryck also became interested in online stochastic optimization problems that arise in networking, manufacturing, transportation, and reservation systems. This research is multi-disciplinary in nature and combines insight from stochastic programming, online algorithms, combinatorial optimization, and machine learning.
Selected Publications
Hentenryck, P. V., and Bent, R. Online Stochastic Combinatorial Optimization. The MIT Press, Oct 2006.
Van Hentenryck, P., and Michel, L. Constraint-Based Local Search. The MIT Press, 2005.
Van Hentenryck, P. OPL: A Modeling Language for Combinatorial Optimization. MIT Press, 1999.
Van Hentenryck, P. Numerica: A Modeling Language for Global Optimization. In Proceedings of the Joint International Conference on Artificial Intelligence (IJCAI-97) (Nagoya, Japan, Aug 1997), pp. 1642-1650. [ pdf ]
Van Hentenryck, P. Constraint Satisfaction in Logic Programming. MIT Press, 1989.
All publications by Pascal Van Hentenryck
| Page Owner: Pascal Van Hentenryck | Last Modified: Mon Aug 20 14:30:39 2007 |