112 Pascal van Hentenryck
|
Pascal Van Hentenryck is professor of computer science at Brown University. 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 implementator of the CHIP programming system, one of the pioneering constraint programming systems. His research on CHIP, described in his 1989 MIT Press book "Constraint Satisfaction in Logic Programming", is the foundation of all modern constraint programming systems. During the last 10 years, he developed a number of influential systems, including the constraint logic programming language cc(FD), the Newton and Numerica systems for global optimization, the optimization programming language OPL, the constraint programming library Modeler++, and the local search programming tools Localizer and Comet. 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, and the best paper award at CP'03. He is the author of three books (all published by the MIT Press) and of more than 100 scientific papers. Pascal was program chair of the International Conference on Logic Programming in 1994, the International Static Analysis Symposium in 1997, and the international Conference on the Princiles and Practice of Constraint Programming in 2002. |
|
Languages: |