Pascal Van Hentenryck

 

 


 

Pascal Van Hentenryck is professor of computing and information systems at the University of Melbourne and the leader of the Optimization Research Group at NICTA. He has been Assistant (1990), Associate (1995), and full professor (2000) of computer science at Brown University. He started his career 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 constraint-based local search, constraint programming and mathematical programming. These systems are described in books published by the MIT Press and have been licensed to industry. His recent research on disaster planning and response has also been deployed to help federal agencies in the United States to mitigate the effects of hurricanes on coastal areas. 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, an IBM Faculty Award in 2004, the 2006 ACP Award for Research Excellence in Constraint Programming, He received the title of Doctor Honoris Causa from the university of Louvain in 2008 and from the University of Nantes in 2011, became AAAI Fellow in 2009, was awarded the Philip J. Bray Award for Teaching Excellence in the Physical Sciences at Brown University for 2010-2011, and received a Ulam fellowship from the Center of Nonlinear Studies at Los Alamos. He 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, NIPS'08, ICAPS'11, and MIC'11.Pascal is the author of five books (all published by the MIT Press) and of more than 220 scientific papers. Pascal has a H-number of at least 47 in Google Scholar, his first MIT Press book has more than 1,300 citations and he was awarded best paper awards at CP'03, CP'04, IJCAI'07, and SEDE'09. 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'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), Los Alamos National Laboratories, and ONR. More information can be found on his personal webpage at https://dl.dropbox.com/u/62188928/site/Welcome.html




Customize your search:

E.g., 2016-12-04
E.g., 2016-12-04
E.g., 2016-12-04
Oct 3rd 2016

Tired of solving Sudokus by hand? This class teaches you how to solve complex search problems with discrete optimization, including constraint programming, local search, and mixed-integer programming.

Average: 10 (1 vote)