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


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