Professor Pascal Van Hentenryck

  • Room: Level: 06 Room: 168
  • Building: Doug McDonell Building
  • Campus: Parkville

Research interests

  • Disaster management algorithms
  • Disaster management software
  • Infrastructure and national security
  • Optimisation (Combinatorial optimization)
  • Optimisation Software
  • Smart Grids and Smart Buidlings

Personal webpage

https://dl.dropbox.com/u/62188928/site/Welcome.html

Biography

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

Recent publications

  1. Even C, Schutt A, Van Hentenryck P. A Constraint Programming Approach for Non-preemptive Evacuation Scheduling. 21st International Conference on the Principles and Practice of Constraint Programming (CP). Springer Verlag. 2015, Vol. 9255. Editors: Pesant G.
  2. Milano M, Van Hentenryck P. Looking into the crystal-ball: a bright future for CP. Constraints. Springer. 2014, Vol. 19, Issue 2.
  3. Mairy JB, Van Hentenryck P, Deville Y. Optimal and efficient filtering algorithms for table constraints. Constraints. Springer. 2014, Vol. 19, Issue 1.
  4. Van Hentenryck P, Coffrin C. Teaching creative problem solving in a MOOC. 45th ACM Technical Symposium on Computer Science Education (SIGSCE). ACM Press. 2014.
  5. Garcia De La Banda M, Stuckey P, Van Hentenryck P, Wallace M. The future of optimization technology. Constraints. Springer. 2014, Vol. 19, Issue 2.
  6. Van Hentenryck P. Computational disaster management. Proceedings of the Twenty-Third international joint conference on Artificial Intelligence. ACM Press. 2013.
  7. Deville Y, Van Hentenryck P, Mairy JB. Domain consistency with forbidden values . Constraints. Springer. 2013, Vol. 18, Issue 3.
  8. Gange G, Stuckey P, Van Hentenryck P. Explaining Propagators for Edge-Valued Decision Diagrams. 19th International Conference on Principles and Practice of Constraint Programming. Springer Verlag. 2013, Vol. 8124.
  9. Fontaine D, Michel L, Van Hentenryck P. Model Combinators for Hybrid Optimization. 19th International Conference on Principles and Practice of Constraint Programming. Springer Verlag. 2013, Vol. 8124.
  10. Scott P, Thiebaux S, Van Den Briel M, Van Hentenryck P. Residential Demand Response under Uncertainty. 19th International Conference on Principles and Practice of Constraint Programming. Springer Verlag. 2013, Vol. 8124.
  11. Van Hentenryck P, Michel L. The Objective-CP Optimization System. 19th International Conference on Principles and Practice of Constraint Programming, CP 2013. Springer-Verlag Heidelberg. 2013, Vol. 8124 LNCS.
  12. Coffrin C, Van Hentenryck P, Bent R. Accurate Load and Generation Scheduling for Linearized DC Models with Contingencies. 2012 IEEE POWER AND ENERGY SOCIETY GENERAL MEETING. IEEE. 2012.
  13. Michel, Van Hentenryck P. Activity-Based Search for Black-Box Constraint Programming Solvers. CPAIOR'12. Springer Verlag. 2012.
  14. Barnes N, Baumgartner P, Caetano T, Durrant-Whyte H, Klein G, Sanderson P, Sattar A, Stuckey P, Thiebaux S, Van Hentenryck P, Walsh T. AI@NICTA. AI Magazine. AAAI Press. 2012, Vol. 33, Issue 3.
  15. Mairy JB, Deville Y, Van Hentenryck P. An optimal filtering algorithm for table constraints. 18th International Conference on Principles and Practice of Constraint Programming, CP 2012. Springer-Verlag Heidelberg. 2012, Vol. 7514 LNCS.

View a full list of publications on the University of Melbourne’s ‘Find An Expert’ profile