Foundations of Artificial Intelligence (FAI) Group
divider line

my picture

Prof. Dr. Jörg Hoffmann

Saarland University, Foundations of Artificial Intelligence Group
DFKI Affiliate Professor
Saarland Informatics Campus
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

divider line


Google Scholar profile: https://scholar.google.com/citations?user=NR6qg_UAAAAJ&hl=en

DBLP: http://dblp.uni-trier.de/pers/hd/h/Hoffmann_0001:J=ouml=rg

Own publications page (with PDF downloads): http://fai.cs.uni-saarland.de/hoffmann/publications.html

Funded projects: http://fai.cs.uni-saarland.de/projects.html


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 an elected Fellow of AAAI and EurAI.


Awards.


Teaching.

Please see the FAI Teaching page.

Attention lecturers! The lecture slide sources for the AI and Planning courses are available on request. Just email me.


Systems.

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. Stefan Borgwardt
  12. Blai Bonet
  13. Matthias Born
  14. Olivier Buffet
  15. Facundo Bustos
  16. Simon Bergweiler
  17. Piergiorgio Bertoli
  18. Ronen Brafman
  19. Michael Brenner
  20. Dunbo Cai
  21. Michael Cashmore
  22. Ernie Chang
  23. Maria Christakis
  24. Luis Costa
  25. Jeanette Daum
  26. Vera Demberg
  27. Henning Dierks
  28. Yannis Dimopoulos
  29. Martin Dominguez
  30. Carmel Domshlak
  31. Klaus Draeger
  32. Patrick Dubbert
  33. Philippe Duchesne
  34. Stefan Edelkamp
  35. R. Eifler
  36. Roman Englert
  37. Hasan Ferit Eniser
  38. Rasha Faqeh
  39. Nazim Fates
  40. Chris Fawcett
  41. Ivan Fedotov
  42. Dieter Fensel
  43. Patrick Ferber
  44. Alan Fern
  45. Christoph Fetzer
  46. Maximilian Fickert
  47. Bernd Finkbeiner
  48. Daniel Fišer
  49. Daniel Fitzner
  50. Maria Fox
  51. Ivan Gavran
  52. Hector Geffner
  53. Alfonso Gerevini
  54. Daniel Gnad
  55. Carla Gomes
  56. Guido Governatori
  57. Timo Gros
  58. David Gross
  59. Miha Grzar
  60. Tianyi Gu
  61. Stefan Gumhold
  62. Patrik Haslum
  63. Malte Helmert
  64. Martin Hepp
  65. Holger Hermanns
  66. Stijn Heymans
  67. Anke Hirsch
  68. Daniel Höller
  69. Holger Hoos
  70. David Howcroft
  71. Frank Hutter
  72. Matthäus Jany
  73. Tomasz Kaczmarek
  74. Erez Karpas
  75. Michael Katz
  76. Henry Kautz
  77. Emil Keyder
  78. Peter Kissmann
  79. Dietrich Klakow
  80. Michaela Klauck
  81. Eva Klien
  82. Thorsten Klößner
  83. Nina Knieriemen
  84. Maximilian Köhl
  85. Jana Koehler
  86. Arne Köhn
  87. Alexander Koller
  88. Yugesh Kothari
  89. Alisa Kovtunova
  90. Marek Kowalkiewicz
  91. Frank Michael Kraft
  92. Michal Krajnansky
  93. Antonio Krüger
  94. Robert Kuennemann
  95. Sebastian Kupferschmid
  96. Joel Langlois
  97. Kim G. Larsen
  98. Pascal Lauer
  99. Freddy Lecue
  100. Kevin Leyton-Brown
  101. Andreas Limyr
  102. Frederico Liporace
  103. Alberto Lluch Lafuente
  104. Jianlin Li
  105. Derek Long
  106. Daniele Magazzeni
  107. Rupak Majumdar
  108. Annapaola Marconi
  109. Ivan Markovic
  110. Ninja Marnau
  111. Patrick Maue
  112. Norman May
  113. Hendrik Meerkamp
  114. Jan Mendling
  115. Andrew Mitchell
  116. Martin Mueller
  117. Hootan Nakhost
  118. Jorge A Navas
  119. Bernhard Nebel
  120. Raz Nissim
  121. Joerg Nitzsche
  122. Hector Palacios
  123. Giancarlo Pellegrino
  124. M. Petrik
  125. Joshua Phillips
  126. Marco Pistore
  127. Andreas Podelski
  128. Valerie Poser
  129. Julie Porteous
  130. Thorsten Rauber
  131. Jussi Rintanen
  132. Frank Rittinger
  133. Wheeler Ruml
  134. Andrey Rybalchenko
  135. Ashish Sabharwal
  136. Carlos Sarraute
  137. Frederik Schmitt
  138. Daniel Schoen
  139. James Scicluna
  140. Laura Sebastia
  141. Valentin Seimetz
  142. Bart Selman
  143. Ivan Serina
  144. Alexander Shleyfman
  145. Milivoj Simeonovski
  146. Adina Sirbu
  147. Jan-Georg Smaus
  148. Patrick Speicher
  149. Christoph Stasch
  150. Leonhard Staut
  151. Michael Stollberg
  152. Sven Schade
  153. Christine Schäfer
  154. Lukas Schmitz
  155. Maximilian Schwenger
  156. Guy Shani
  157. Dorin Shmaryahu
  158. David Smith
  159. Fabian Spaniol
  160. Marcel Steinmetz
  161. Nathalie Steinmetz
  162. Francois Tertre
  163. Sylvie Thiebaux
  164. Alvaro Torralba
  165. Sebastian Trueg
  166. Mauro Vallati
  167. Laurentiu Vasiliu
  168. Alexander Walkowski
  169. Ingo Weber
  170. Martin Wehrle
  171. Christoph Weidenbach
  172. Daniel Weld
  173. Julia Wichlacz
  174. Frederik Wiehr
  175. Verena Wolf
  176. Valentin Wüustholz
  177. Raluca Zaharia
  178. Nicolas Zastavni
  179. Xuan Zhou


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