Intelligence Artificielle
Aide à la décision
Optimisation
Programmation par Contraintes
Frédéric Benhamou is Professor of Computer Science at the University of Nantes. He is currently Head of the Computer Science department and of the CNRS ICT Research Institute AtlanSTIC. He is an Executive Board
member of the COMIN Labs. The COMIN Labs project was selected in 2011 by an international jury, after a French government call for Excellence Laboratory projects launched in the Investments for the Future Program. The funding for the COMIN Labs is 14 million euros for 10 years. The COMIN Labs focus on future internet related research areas and count more than 1000 researchers in Nantes, Rennes and Brest. He is the former head and founder of the CNRS research lab LINA.
Prior to his current position, he obtained his PhD on Constraint Logic Programming from the University of Marseilles in 1988, spent two post-doctoral years in Ottawa, Canada and got an assistant Professor position at the University of Orleans in 1993 followed by an associate Professor position at the University of Nantes in 1997.
He is a member of the TASC INRIA-CNRS project-team. His main scientific areas of expertise are Decision support, optimisation and Constraint Programming, with a focus on Numerical Optimization based on Constraint and Interval techniques. His main contributions concern the generalization of the constraint satisfaction problem paradigm to continuous constraints and the design of several reference algorithms for continuous constraints solving (e.g. HC4). He has been involved in the design and implementation of different constraint-based languages including Prolog III and IV (PrologIA licence), and CLP(BNR) (Nortel licence).
He co-edited with Alain Colmerauer one of the first books on Constraint Logic Programming with MIT Press in 1992, was the invited editor of several journal special issues and is the author or co-author of more than 80 scientific articles on Constraint Programming, including two survey articles, in the Encyclopaedia of Optimization and in a the Handbook on Constraint Programming. His h-number is 20 (Google scholar). The number of citations for his main contributions are as follows : Interval constraints : 350+ cit. Box-Consistency : 350+ cit. - HC4 and BC3 algorithms : 200+ cit.
In 2006, he was conference chair and program chair of CP 2006, the major international annual conference on constraint programming and of the French CLP conference in 1996. He also organized several international events on CLP, was area chair of ECAI in 2008 and sat on the PC of numerous conferences including CP, ECAI, CP-AI-OR, ILPS, ICLP, CL, ALP. He was involved in various national and international projects on Logic and Constraint Programming, Concurrency, Debugging and Global Optimization. This includes six European R&D and Basic research projects and a European network of Excellence on Computational Logic.
Former member of the board of the Association for Constraint Programming and current member of the board of Informatics Europe, he provides expertise for various international agencies, including SFI Ireland, BIRS Canada, Austrian academy of sciences as well as the French ministry of research, the French Research funding agency (ANR) and the French evaluation agency AERES for research projects or committees laboratories. He is also a member of the advisory board for the Erasmus Mundus European Master's program in Computational Logic.
Vitae and publications
You can download my CV in French or in English. You can find my principal publications here (DBLP)
L'université est membre