Curriculum Vitae - Emmanuel Hebrard. Emmanuel Hebrard

Transcription

1 Emmanuel Hebrard Adresse 5 Tuckey Street Cork, Ireland emmanuel.hebrard@gmail.com http ://4c.ucc.ie/ ehebrard/home.html Adresse Professionnelle Cork Constraint Computation Centre Cork, Ireland Telephone : FAX : Parcours Universitaire Doctorat National ICT Australia Mars 2006 University of New South Wales Titre : Robust Solutions for Constraint Satisfaction and Optimisation under Uncertainty Comité : Peter Stuckey (Professeur, NICTA Victoria Laboratory and University of Melbourne), Peter van Beek (Professeur, University of Waterloo) and Gerard Verfaillie (Research Engineer, French Aerospace Research Agency) Encadrant : Toby Walsh (Professeur, NICTA and University of New South Wales) Co-Encadrants : Brahim Hnich (Assoc. Professeur, Izmir University of Economics) and Michael Maher (Professeur, NICTA and University of New South Wales) Master Degree LIRMM Juillet 2002 Universite Montpellier II Titre : Reformulation d Algorithmes en Clauses Encadrant : Christian Bessiere (Directreur de recherche CNRS, Universite Montpellier II) Informatique Maîtrise (Informatique) Universite Montpellier II Juillet 2001 Licence (Informatique) Universite Montpellier II Juillet /5

2 Parcours Professionnel Chercheur post-doctoral Cork Constraint Computation Centre Oct Aujourd hui Travaille dans le groupe de Barry O Sullivan comme chercheur Post-Doctoral sur les interactions entre la programmation par contraintes et l apprentissage. Chercheur post-doctoral Cork Constraint Computation Centre Oct Oct 2008 Travaille comme chercheur Post-Doctoral dans le cadre d un financement de recherche de deux ans (Embark Fellowship) pour étudier la complexité, l algorithmique et la classification des contraintes globales. Une Taxonomie de Contraintes Globales. Developpeur de recherche National ICT Australia Oct Jan 2006 Travaille comme développeur de recherche dans le cadre d un programme de consultance pour Wilcom Pty Ltd en vue du développement d un logiciel d ordonnancement (http :// Honneurs et Récompenses Octobre 2006 Embark Fellowship sur deux ans ( Une Taxonomie de Contraintes Globales ), IRCSET - Irish Research Council for Science, Engineering and Technology. Aout 2004 Article de recherche, Robust Solutions for Constraint Satisfaction and Optimization, co-écrit avec B. Hnich et T. Walsh, et présenté durant la 16 eme Conférence Européenne sur l Intelligence Artificielle (ECAI-2004), sélectionné parmi les 11 meilleurs articles sur 652 soumissions. Novembre 2005 Article de recherche, Filtering Algorithms for the NValue Constraint, coécrit avec C. Bessiere, B. Hnich, Z. Kiziltan et T. Walsh, et présenté durant la 2 eme Conférence Internationale sur l Intégration des Techniques d Intelligence Artificielle et de Recherche Opérationnelle pour la Programmation par Contraintes, sélectionné pour être publié dans un numéro spécial de la revue Constraint. Août 2008 International Timetabling Competition. Avec H. Cambazard, B. O Sullivan et A. Papadopoulos. Première place dans la deuxième catégorie : Post Enrolment based Course Timetabling. Septembre 2008 International CSP Solver Competition. cphydra, avec E. O Mahony, A. Holland, C. Nugent et B. O Sullivan. Première place dans quatre catégories sur cinq et deuxième place dans la cinquième catégorie. Mistral, Classé deuxième pour le nombre total d instances résolues. 2/5

3 Publications Journaux i. Hadrien Cambazard, Emmanuel Hebrard, Barry O Sullivan and Alexandre Papadopoulos. Local Search and Constraint Programming for the Post Enrolment-based Course Timetabling Problem. To appear in Annals of Operations Research, ii. Christian Bessiere, Emmanuel Hebrard, Brahim Hnich, Zeynep Kiziltan and Toby Walsh. Range and Roots : Two Common Patterns for Specifying and Propagating Counting and Occurrence Constraints. To appear in Artificial Intelligence, iii. Christian Bessiere, Emmanuel Hebrard, Brahim Hnich and Toby Walsh. The Complexity of Reasoning with Global Constraints. In Constraints journal, iv. Christian Bessiere, Emmanuel Hebrard, Brahim Hnich, Zeynep Kiziltan and Toby Walsh. Filtering Algorithms for the NValue Constraint. In Constraints journal, Conférences Internationales avec Sélection et Actes i. Emmanuel Hebrard, Dániel Marx, Barry O Sullivan and Igor Razgon. Constraints of Difference and Equality : A Complete Taxonomic Characterisation. In Proceedings of the 15th International Conference on Principles and Practice of Constraint Programming (CP-2009). ii. Christian Bessiere, Emmanuel Hebrard and Barry O Sullivan. Minimising Decision Tree Size as Combinatorial Optimisation. In Proceedings of the 15th International Conference on Principles and Practice of Constraint Programming (CP-2009). iii. Diarmuid Grimes, Emmanuel Hebrard and Arnaud Malapert. Closing the Open Shop : Contradicting Conventional Wisdom. In Proceedings of the 15th International Conference on Principles and Practice of Constraint Programming (CP-2009). iv. Emmanuel Hebrard, Barry O Sullivan and Igor Razgon. A Soft Constraint of Equality : Complexity and Approximability. In Proceedings of the 14th International Conference on Principles and Practice of Constraint Programming (CP-2008). v. Christian Bessiere, Emmanuel Hebrard, Brahim Hnich, Zeynep Kiziltan and Toby Walsh. Slide : A Useful Special Case of the Cardpath Constraint. In Proceedings of the 18th European Conference on Artificial Intelligence (ECAI-2008). vi. Christian Bessiere, Emmanuel Hebrard, Brahim Hnich, Zeynep Kiziltan, Claude-Guy Quimper and Toby Walsh. The Parameterized Complexity of Global Constraints. In Proceedings of the 23rd National Conference on Artificial Intelligence (AAAI-2008). vii. Emmanuel Hebrard, Brahim Hnich, Barry O Sullivan and Toby Walsh. Distance Constraints in Constraint Satisfaction. In Proceedings of the 20th International Joint Conference on Artificial Intelligence (IJCAI-2007). 3/5

4 viii. Christian Bessiere, Emmanuel Hebrard, Brahim Hnich, Zeynep Kiziltan and Toby Walsh. The Roots Constraints. In Proceedings of the 12th International Conference on Principles and Practice of Constraint Programming (CP-2006). ix. Emmanuel Hebrard, Brahim Hnich, Barry O Sullivan and Toby Walsh. Finding Diverse and Similar Solutions in Constraint Programming. In Proceedings of the 20th National Conference on Artificial Intelligence (AAAI-2005). x. Christian Bessiere, Emmanuel Hebrard, Brahim Hnich, Zeynep Kiziltan and Toby Walsh. The Range and Roots Constraints : Specifying Counting and Occurrence Constraints. In Proceedings of the 19th International Joint Conference on Artificial Intelligence (IJCAI- 2005). xi. Christian Bessiere, Emmanuel Hebrard, Brahim Hnich, Zeynep Kiziltan and Toby Walsh. Filtering Algorithms for the NValue Constraint. In Proceedings of the 7th International Conference on Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems (CPAIOR-2005). xii. Christian Bessiere, Emmanuel Hebrard, Brahim Hnich and Toby Walsh. Disjoint, Partition and Intersection Constraints for Set and Multiset Variables. In Proceedings of the 10th International Conference on Principles and Practice of Constraint Programming (CP-2004). xiii. Christian Bessiere, Emmanuel Hebrard, Brahim Hnich and Toby Walsh. Tractability of Global Constraints. In Proceedings of the 10th International Conference on Principles and Practice of Constraint Programming (CP-2004) (short paper). xiv. Emmanuel Hebrard, Brahim Hnich and Toby Walsh. Robust Solutions for Constraint Satisfaction and Optimization. In Proceedings of the 16th European Conference on Artificial Intelligence (ECAI-2004). xv. Christian Bessiere, Emmanuel Hebrard, Brahim Hnich and Toby Walsh. The Complexity of Global Constraints. In Proceedings of the 19th National Conference on Artificial Intelligence (AAAI-2004). xvi. Emmanuel Hebrard, Brahim Hnich and Toby Walsh. Super Solutions in Constraint Programming. In Proceedings of the 6th International Conference on Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimisation Problems (CP-AI-OR-2004). xvii. Christian Bessiere, Emmanuel Hebrard and Toby Walsh. Local Consistencies in SAT. In Proceedings of the 6th International conference on theory and application of Satisfiability testing (SAT-2003). 4/5

5 Autres Activités de Recherche Editeur d une publication spéciale d AI Communications sur la programmation par contraintes pour la planification et l ordonnancement (Constraint Programming for Planning and Scheduling) en Membre du comité de programme de la 20 eme conférence nationale Australienne d Intelligence Artificielle (AI 2007). Membre du comité de programme de la 23 eme conférence nationale Américaine d Intelligence Artificielle (AAAI 2008). Membre du comité de programme de la 21 eme conférence internationale jointe d Intelligence Artificielle (IJCAI 2009). Revue d articles scientifiques pour de nombreuses conférences et journaux en Intelligence Artificielle. (JAIR, Constraint Journal, IJCAI, AAAI, CP, etc.) Logiciel Mistral, Une librairie pour la satisfaction et l optimisation de contraintes, écrite en C++. Mistral s est classé deuxième parmi 21 solveurs et 12 équipes pour le nombre total d instances résolues lors de la dernière compétition internationale de solveurs CSP en Disponible à l URL suivant : ehebrard/software.html Références Robust Scheduler, un outil de démonstration graphique sur la recherche de solutions robustes pour les problèmes d ordonnancement. Dans les actes de la 11 eme conférence internationale sur les principes et pratiques de la programmation par contraintes. (CP-2005) Prof. Toby Walsh. School of Computer Science and Engineering, University of New South Wales, Sydney, Australia. tw@cse.unsw.edu.au Phone : Http : tw/ Prof. Christian Bessière. Directeur de recherche CNRS/LIRMM, Universite Montpellier II, France. bessiere@lirmm.fr Phone : Http : bessiere/ Prof. Barry O Sullivan. Computer Science Department,, Ireland. b.osullivan@cs.ucc.ie Phone : Http : osullb/ 5/5