Since April 2006, I work in the Research Group Foundations of Artificial Intelligence at the Institute for Computer Science, Faculty of Engineering, University of Freiburg. My research interests include Artificial Intelligence, AI Planning, and Automated Verification.

Up-to-date information can be found on my university web site.

How to reach me

Robert Mattmüller
Albert-Ludwigs-Universität Freiburg
Institut für Informatik
Georges-Köhler-Allee 052, EG
79110 Freiburg, Germany

Phone: +49 761 203-8229

Email: robert (at) robert (minus) mattmueller (dot) de