Foundations of Artificial Intelligence (FAI) Group
divider line

my picture

Prof. Dr. Jörg Hoffmann

Saarland University
Foundations of Artificial Intelligence Group
Campus E1 1
66123 Saarbrücken, Germany

E-Mail:(last name) (at) cs (dot) uni-saarland (dot) de
Telephone: +49 (0) 681 302 71471 Fax: +49 (0) 681 302 57554
Location: Room 3.18

divider line

Dean of Studies. I'm the current dean of studies (Studiendekan) of Faculty 6 (Mathematics and Computer Science). For questions/appointments please contact me by email.

Research Interests. I'm interested in a range of topics relating to problem solving, more specifically to the modeling and solution of combinatorial search problems. My main field of expertise is Automatic Planning, a sub-area of AI concerned with decision making problems (my planning lecture describes this in a little more detail). I am also conducting research in various related areas, including SAT/CP, model checking, semantic web services, business process management, markov decision processes, natural language sentence generation, and simulated network security penetration testing.

For a detailed summary of my current research lines, please see the FAI group's Research page.

Short CV. I received a diploma in computer science from the University of Freiburg 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 worked at Max Planck Institute for Computer Science Saarbruecken. In summer 2006 I was a Visiting Scientist at Cornell University, after which I worked at the University of Innsbruck where I obtained my Habilitation in CS. I joined SAP Research Karlsruhe in April 2008, and I joined INRIA Nancy as a Directeur de Recherche in October 2009. I became a Professor at Saarland University in April 2012, where I'm heading the Foundations of Artificial Intelligence Group.




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


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:

For more detailed information and source code downloads, please see the FAI group's Software page.

Scientific Organization.

Invited talks. Reviewing.


Uh yes, I also have hobbies. Here's the glorious web page of my (ex-)band The Inglorious Mustard Boys ...