Foundations of Artificial Intelligence (FAI) Group
divider line

my picture

Prof. Dr. Jörg Hoffmann

Saarland University
Saarland Informatics Campus
Foundations of Artificial Intelligence Group
Building 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; Consultation hour (Sprechstunde): Wednesdays, 9:30 -- 10:30.

divider line

Google Scholar profile:


Own publications page (with PDF downloads):

Dean of Studies. I'm the current dean of studies (Studiendekan) of Faculty 6 (Mathematics and Computer Science). In case of questions, please contact me by email or come to my consultation hour.

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.



I'm currently teaching the AI Core Course, a Specialized Course on Automated Planning, and various seminars. Please see the FAI Teaching page for details.

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.

Co-authors (journal and conference papers).

  1. Corin Anderson
  2. Mihai Andrei
  3. Anupriya Ankolekar
  4. Carlos Areces
  5. Grigori Babitski
  6. Alistair Barros
  7. Michael Backes
  8. Gerd Behrmann
  9. Fabian Bendun
  10. Arne Berre
  11. Blai Bonet
  12. Matthias Born
  13. Olivier Buffet
  14. Facundo Bustos
  15. Simon Bergweiler
  16. Piergiorgio Bertoli
  17. Ronen Brafman
  18. Michael Brenner
  19. Dunbo Cai
  20. Luis Costa
  21. Jeanette Daum
  22. Vera Demberg
  23. Henning Dierks
  24. Yannis Dimopoulos
  25. Martin Dominguez
  26. Carmel Domshlak
  27. Klaus Draeger
  28. Patrick Dubbert
  29. Philippe Duchesne
  30. Stefan Edelkamp
  31. Roman Englert
  32. Nazim Fates
  33. Chris Fawcett
  34. Dieter Fensel
  35. Alan Fern
  36. Maximilian Fickert
  37. Bernd Finkbeiner
  38. Daniel Fitzner
  39. Maria Fox
  40. Hector Geffner
  41. Alfonso Gerevini
  42. Daniel Gnad
  43. Carla Gomes
  44. Guido Governatori
  45. Miha Grzar
  46. Patrik Haslum
  47. Malte Helmert
  48. Martin Hepp
  49. Holger Hermanns
  50. Stijn Heymans
  51. Holger Hoos
  52. David Howcroft
  53. Frank Hutter
  54. Matthäus Jany
  55. Tomasz Kaczmarek
  56. Michael Katz
  57. Henry Kautz
  58. Emil Keyder
  59. Peter Kissmann
  60. Dietrich Klakow
  61. Michaela Klauck
  62. Eva Klien
  63. Jana Koehler
  64. Alexander Koller
  65. Marek Kowalkiewicz
  66. Frank Michael Kraft
  67. Michal Krajnansky
  68. Robert Kuennemann
  69. Sebastian Kupferschmid
  70. Joel Langlois
  71. Kim G. Larsen
  72. Freddy Lecue
  73. Kevin Leyton-Brown
  74. Andreas Limyr
  75. Frederico Liporace
  76. Derek Long
  77. Annapaola Marconi
  78. Ivan Markovic
  79. Ninja Marnau
  80. Patrick Maue
  81. Norman May
  82. Jan Mendling
  83. Martin Mueller
  84. Hootan Nakhost
  85. Bernhard Nebel
  86. Raz Nissim
  87. Joerg Nitzsche
  88. Hector Palacios
  89. Giancarlo Pellegrino
  90. Joshua Phillips
  91. Marco Pistore
  92. Andreas Podelski
  93. Valerie Poser
  94. Julie Porteous
  95. Thorsten Rauber
  96. Jussi Rintanen
  97. Frank Rittinger
  98. Andrey Rybalchenko
  99. Ashish Sabharwal
  100. Carlos Sarraute
  101. Daniel Schoen
  102. James Scicluna
  103. Laura Sebastia
  104. Bart Selman
  105. Ivan Serina
  106. Alexander Shleyfman
  107. Milivoj Simeonovski
  108. Adina Sirbu
  109. Jan-Georg Smaus
  110. Patrick Speicher
  111. Christoph Stasch
  112. Michael Stollberg
  113. Sven Schade
  114. Maximilian Schwenger
  115. Guy Shani
  116. Dorin Shmaryahu
  117. David Smith
  118. Marcel Steinmetz
  119. Nathalie Steinmetz
  120. Francois Tertre
  121. Sylvie Thiebaux
  122. Alvaro Torralba
  123. Sebastian Trueg
  124. Mauro Vallati
  125. Laurentiu Vasiliu
  126. Alexander Walkowski
  127. Ingo Weber
  128. Martin Wehrle
  129. Daniel Weld
  130. Raluca Zaharia
  131. Nicolas Zastavni
  132. Xuan Zhou

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