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