Jörg Hoffmann

eyes

my picture

Dr. Habil. Jörg Hoffmann

: INRIA Nancy -- Grand Est
Equipe MAIA
615 rue du Jardin Botanique
54600 Villers-les-Nancy, France
joerg.hoffmann at loria.fr
+33 (0)3 54 95 86 31 +33 (0)3 83 55 25 73

Research Interests. I'm interested in a range of topics involving issues such as hard search problems, practical problem distributions, data structures and efficient implementation, modeling, and validation. My main field of expertise is Automated Planning (commonly also referred to as AI Planning), on which I have worked since 1997. Since ca. 2003, I have also worked on topics from SAT/CP and from Model Checking. Since 2006, I've been doing research on Semantic Technologies, including automated composition of Web services, modeling and discovery of geospatial Web services, and semantic Business Process Management. Most recently I've taken up research on Markov Decision Processes, and I've been doing a little planning-based tourism in Cellular Automata and Natural Language Sentence Generation.

Tools. I have been involved in the development of several planning and model checking tools, such as: IPP, FF, SATPLAN, and UPPAAL.

CV. I received a diploma in computer science from University Freiburg, Germany, in March 1999, and completed my PhD at the same University in July 2002, with a thesis that won the ECCAI Dissertation award 2002. I stayed on as a Postdoc until August 2004. From September 2004 until April 2006, I was a Researcher at Max Planck Institute for Computer Science, Saarbrücken, Germany. From April 2006 through August 2006, I was a Visiting Scientist at Cornell University, Ithaca, NY, USA. From September 2006 until April 2008, I was a Senior Researcher at the University of Innsbruck (Austria), where I submitted/obtained my Habilitation (Venia Legendi in Computer Science) in March 2008/April 2009. From April 2008 until September 2009, I was a Senior Researcher at SAP Research, Karlsruhe, Germany. As of October 2009, I'm a Directeur de Recherche at INRIA, Nancy, France.

Publications.

Teaching.

Winter term 07/08: Lecture Automatic Planning.
Winter term 05/06 (at Universitaet des Saarlandes, Saarbruecken, Germany): Lecture Automatic Planning.
Summer term 05 (at Universitaet des Saarlandes, Saarbruecken, Germany): Seminar Automatic Planning Systems.
Winter term 04/05 (at Universitaet des Saarlandes, Saarbruecken, Germany): Lecture Search Methods for Transition Systems, Example AI Planning.

Awards.

ICAPS 2008 influential paper award, honorable mention (with Jana Koehler, Bernhard Nebel, and Yannis Dimopoulos).
ICAPS 2007 best research paper award (with Malte Helmert and Patrik Haslum).
Nominated for IJCAI 2007 best paper award (with Carla Gomes, Ashish Sabharwal, and Bart Selman).
Co-winner of the optimal track at the International Planning Competition 2006 (IPC'06), with SATPLAN.
Nominated for ICAPS 2006 best paper award (with Ashish Sabharwal and Carmel Domshlak).
IJCAII-JAIR best paper prize 2005 (with Bernhard Nebel).
AAAI 2005 Outstanding PC member award. Awarded for excellent reviewing.
ICAPS 2004 best paper award (with Ronen Brafman).
Wolfgang-Gentner Nachwuchsfoerderpreis 2003.
ECCAI Dissertation award 2002. Award for the best European Dissertation in the field of AI. Awarded annually by ECCAI, the European Coordination Committee for Artificial Intelligence.
Winner of the fully-automated track at the International Planning Competition 2000 (IPC'00), with FF.
Winner of the ADL track at the International Planning Competition 1998 (IPC'98), with IPP.

Selected Activities.

Associate Editor of JAIR (Journal of Artificial Intelligence Research).
Area Chair for Planning of AI Communications, the European Journal on AI.
Conference Chair of the 20th International Conference on Automated Planning and Scheduling (ICAPS'10). Co-chairing with Henry Kautz.
Member of the Senior Program Committee of the 24th National Conference of the American Association for Artificial Intelligence (AAAI'10).
Member of the Senior Program Committee of the AI and the Web Track (AIW'10) at the 24th National Conference of the American Association for Artificial Intelligence (AAAI'10).
Member of the Senior Program Committee of the 19th International Conference on Automated Planning and Scheduling (ICAPS'09).
Member of the Senior Program Committee of the 21st International Joint Conference on Artificial Intelligence (IJCAI'09).
Member of the Senior Program Committee of the 23rd National Conference of the American Association for Artificial Intelligence (AAAI'08).
Member of the Senior Program Committee of the 22nd National Conference of the American Association for Artificial Intelligence (AAAI'07).
Member of the Program Committees of CPAIOR'09, AIMSA'08, ECAI'08, ICAPS'08, ICAPS'07, KI'07, SPIN'07, ECAI'06, AAAI'06, ICAPS'06, IJCAI'05, AAAI'05, ICAPS'05, ICAPS'04, AI&Math'04, ICAPS'03, and AAAI'02.
Technical Coordinator of EU-funded STREP SWING: Semantic Web Service Interoperability for Geospatial Decision Making.
Demonstrations Chair of ESWC 2008.
Doctoral Consortium co-Chair of ICAPS 2007.
Tutorial Chair of KI 2007.
Co-Chair of the 2nd Workshop on Heuristics for Domain-Independent Planning (HDIP'09) at ICAPS 2009.
Co-Chair of the workshop Semantic Web meets Geospatial Applications at AGILE 2008.
Co-Chair of the workshop Heuristics for Domain-Independent Planning: Progress, Ideas, Limitations, Challenges at ICAPS 2007.
Founding member of the permanent IPC committee established by the ICAPS council at ICAPS 2006.
Member of the organizing committee of the International Planning Competition 2006.
Invited speaker at the Workshop on Local Search Techniques in Constraint Satisfaction at CP 2005.
Co-Chair of the International Planning Competition 2004.
Co-Chair of the workshop on the competition at ICAPS 2003.
Lecturer at the International Summer School on AI Planning 2003.

Co-authors.

visited 33 states (14.6%)
Create your own visited map of The World or jurisdische veraling duits?