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: 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.


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


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