Pascal Van Hentenryck

Pascal Van Hentenryck is professor of computer science at Brown University and the director of the optimization laboratory. Before coming to Brown in 1990, he spent four years at the European Computer-Industry Research Center (ECRC), where he was the main designer and implementor of the CHIP programming system, the foundation of all modern constraint programming systems. During the last 15 years, he developed a number of influential systems, including the Numerica system for global optimization, the optimization programming language OPL, and the programming language Comet which supports both constraint-based local search and constraint programming. Most of these systems are described in books published by the MIT Press and have been licensed to industry. He also implemented the generic abstract interpretation system GAIA.

Pascal is the recipient of an 1993 NSF National Young Investigator (NYI) award, the 2002 INFORMS ICS Award for research excellence at the interface between computer science and operations research, the 2006 ACP Award for Research Excellence in Constraint Programming, best paper awards at CP'03, CP'04, and IJCAI’07, and an IBM Faculty Award in 2004. He is the author of five books (all published by the MIT Press) and of more than 170 scientific papers. Pascal has a H-number of at least 38 in Google Scholar and his first MIT Press book has more than 1,000 citations.

Pascal was program chair of the International Conference on Logic Programming in 1994, the International Static Analysis Symposium in 1997, the international Conference on the Principles and Practice of Constraint Programming in 2002, the international symposium on practical aspects of declarative languages (PADL'06) and the International Conference on the Integration of AI and OR into Constraint Programming for Combinatorial Optimization(CP-AI-OR-07).

Pascal has given invited talks in many international conferences in artificial intelligence, operations research, optimization and programming languages, including IJCAI’97, CP’97, PPDP’99, UAI’06, CP’AI’OR’08, SIOP’08, ECAI’08, and NIPS’08.

Pascal’s research has been funded by grants or gifts from CISCO, EC FET, Hewlett-Packard, Intel, NSF (including RI, NYI, ITR, CISE, and DMII grants), and ONR.

Home page of Pascal Van Hentenryck