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

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.


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. 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. Michael Cashmore
  21. Luis Costa
  22. Jeanette Daum
  23. Vera Demberg
  24. Henning Dierks
  25. Yannis Dimopoulos
  26. Martin Dominguez
  27. Carmel Domshlak
  28. Klaus Draeger
  29. Patrick Dubbert
  30. Philippe Duchesne
  31. Stefan Edelkamp
  32. R. Eifler
  33. Roman Englert
  34. Nazim Fates
  35. Chris Fawcett
  36. Dieter Fensel
  37. Patrick Ferber
  38. Alan Fern
  39. Maximilian Fickert
  40. Bernd Finkbeiner
  41. Daniel Fitzner
  42. Maria Fox
  43. Hector Geffner
  44. Alfonso Gerevini
  45. Daniel Gnad
  46. Carla Gomes
  47. Guido Governatori
  48. Miha Grzar
  49. Tianyi Gu
  50. Patrik Haslum
  51. Malte Helmert
  52. Martin Hepp
  53. Holger Hermanns
  54. Stijn Heymans
  55. Holger Hoos
  56. David Howcroft
  57. Frank Hutter
  58. Matthäus Jany
  59. Tomasz Kaczmarek
  60. Erez Karpas
  61. Michael Katz
  62. Henry Kautz
  63. Emil Keyder
  64. Peter Kissmann
  65. Dietrich Klakow
  66. Michaela Klauck
  67. Eva Klien
  68. Jana Koehler
  69. Alexander Koller
  70. Marek Kowalkiewicz
  71. Frank Michael Kraft
  72. Michal Krajnansky
  73. Robert Kuennemann
  74. Sebastian Kupferschmid
  75. Joel Langlois
  76. Kim G. Larsen
  77. Freddy Lecue
  78. Kevin Leyton-Brown
  79. Andreas Limyr
  80. Frederico Liporace
  81. Alberto Lluch Lafuente
  82. Derek Long
  83. Daniele Magazzeni
  84. Annapaola Marconi
  85. Ivan Markovic
  86. Ninja Marnau
  87. Patrick Maue
  88. Norman May
  89. Jan Mendling
  90. Andrew Mitchell
  91. Martin Mueller
  92. Hootan Nakhost
  93. Bernhard Nebel
  94. Raz Nissim
  95. Joerg Nitzsche
  96. Hector Palacios
  97. Giancarlo Pellegrino
  98. M. Petrik
  99. Joshua Phillips
  100. Marco Pistore
  101. Andreas Podelski
  102. Valerie Poser
  103. Julie Porteous
  104. Thorsten Rauber
  105. Jussi Rintanen
  106. Frank Rittinger
  107. Wheeler Ruml
  108. Andrey Rybalchenko
  109. Ashish Sabharwal
  110. Carlos Sarraute
  111. Frederik Schmitt
  112. Daniel Schoen
  113. James Scicluna
  114. Laura Sebastia
  115. Bart Selman
  116. Ivan Serina
  117. Alexander Shleyfman
  118. Milivoj Simeonovski
  119. Adina Sirbu
  120. Jan-Georg Smaus
  121. Patrick Speicher
  122. Christoph Stasch
  123. Leonhard Staut
  124. Michael Stollberg
  125. Sven Schade
  126. Maximilian Schwenger
  127. Guy Shani
  128. Dorin Shmaryahu
  129. David Smith
  130. Fabian Spaniol
  131. Marcel Steinmetz
  132. Nathalie Steinmetz
  133. Francois Tertre
  134. Sylvie Thiebaux
  135. Alvaro Torralba
  136. Sebastian Trueg
  137. Mauro Vallati
  138. Laurentiu Vasiliu
  139. Alexander Walkowski
  140. Ingo Weber
  141. Martin Wehrle
  142. Daniel Weld
  143. Raluca Zaharia
  144. Nicolas Zastavni
  145. Xuan Zhou


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