I am with the Research Group Foundations of Artificial Intelligence at the Institute for Computer Science at Freiburg University. My research interests include Artificial Intelligence, Automated Planning, and Automated Verification.

Up-to-date information can be found on my web page on the lab website.

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