Foundations of Artificial Intelligence (FAI) Group
divider line

my picture

Prof. Dr. Joerg Hoffmann

Saarland University
Foundations of Artificial Intelligence Group
Campus E1 1
66123 Saarbruecken, Germany

Consultation hour (Sprechstunde) Tuesdays, 14:00--15:00.
Location: Room 3.18

divider line

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 Automatic 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 business process management. Most recently I've taken up research on markov decision processes, as well as application-driven research in network security testing.

Short 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, Saarbruecken, 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 in March 2008/April 2009. From April 2008 until September 2009, I was a Senior Researcher at SAP Research, Karlsruhe, Germany. From October 2009 until March 2012, I was a Directeur de Recherche at INRIA, Nancy, France, enjoying French life style and partly also enjoying the French language :-) I finally became a Professor at Saarland University in April 2012, where I'm heading the Foundations of Artificial Intelligence Group.



A central activity in my research area is the development of systems, whose empirical performance serves to evaluate the underlying ideas. Here 's a list of systems I've been involved in:


Attention lecturers! All lecture slide sources are available on request. Just email me.


Selected Activities.


Ah yes, I also have hobbies. Here's the glorious web page of my band The Inglorious Mustard Boys ...