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: 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 AI action-decision problems. My core background is in algorithms for effective planning, with connections to related areas such as SAT/CP, verification, semantic technologies, natural language sentence generation, and simulated network security penetration testing. Currently, my primary interest is in methods to gain trust in neural action-decision components (action policies). My research group is exploring methods to explain, verify, test, and visualize such policies.

For a detailed summary of our current research lines, please see the FAI group's Research page.


Short CV. I completed my PhD at the University of Freiburg in 2002, with a thesis that won the EurAI Dissertation award 2002. After postdoctoral positions at Max Planck Institute for Computer Science, Cornell University, the University of Innsbruck (where I obtained my Habilitation), and at SAP Research, I joined INRIA (Nancy, France) as a Directeur de Recherche in 2009. I became a Professor at Saarland University in 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.


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


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