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 working on a range of topics relating to AI action-decision problems, with connections to related areas such as SAT/CP, verification, and natural language generation. Currently, my primary interest is in methods to gain trust in learned action-decision components (action policies). My research group is exploring methods to explain, verify, test, and visualize the behavior of such policies.


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, and at SAP Research, I joined INRIA 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. Siddhant Sharma
  155. Alexander Shleyfman
  156. Milivoj Simeonovski
  157. Adina Sirbu
  158. Jan-Georg Smaus
  159. Patrick Speicher
  160. Christoph Stasch
  161. Leonhard Staut
  162. Michael Stollberg
  163. Sven Schade
  164. Christine Schäfer
  165. Lukas Schmitz
  166. Maximilian Schwenger
  167. Guy Shani
  168. Dorin Shmaryahu
  169. Adish Singla
  170. David Smith
  171. Fabian Spaniol
  172. Marcel Steinmetz
  173. Nathalie Steinmetz
  174. Francois Tertre
  175. Sylvie Thiebaux
  176. Alvaro Torralba
  177. Felipe Trevizan
  178. Sebastian Trueg
  179. Mauro Vallati
  180. Laurentiu Vasiliu
  181. Marcel Vinzent
  182. Alexander Walkowski
  183. Ingo Weber
  184. Martin Wehrle
  185. Christoph Weidenbach
  186. Daniel Weld
  187. Julia Wichlacz
  188. Frederik Wiehr
  189. Verena Wolf
  190. Valentin Wüustholz
  191. Raluca Zaharia
  192. Nicolas Zastavni
  193. Xuan Zhou


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