Institute for Computer Science | Faculty of Applied Sciences | University of Freiburg

Research Group on the Foundations of Artificial Intelligence

Robert Mattmüller

Contact

Address:	Institut für Informatik Albert-Ludwigs-Universität Freiburg Georges-Köhler-Allee, Geb. 052 79110 Freiburg, Germany
Room:	Building 052, Room 00-030
Email:	mattmuel@informatik.uni-freiburg.de
Phone:	+49 (761) 203-8229
Fax:	+49 (761) 203-8222

About me

Robert Mattmüller received a diploma in computer science (Diplom-Informatiker) from the University of Freiburg in March 2006.

Since April 2006 he has been working in the Research Group on the Foundations of Artificial Intelligence headed by Prof. Dr. Bernhard Nebel. He is a member of the Transregional Collaborative Research Center AVACS. His research interests include AI Planning as well as heuristic methods in automatic verification.

Teaching

Exercises for the lecture AI Planning (WS 06/07)
Exercises for the lecture Foundations of Artificial Intelligence (SS 07)
Exercises for the lecture Game Theory (WS 07/08)
Exercises for the lecture Logic for Computer Scientists (Diploma) (WS 07/08)
Participation in the Seminar AI Planning and Model Checking (WS 07/08)
Exercises for the lecture Foundations of Artificial Intelligence (SS 08)
Participation in the Seminar Logic in AI (SS 08)

Miscellaneous

Public PGP/GPG key

If you want to send me an encrypted email please use my public PGP/GPG key (valid until 2008-06-15).
Fingerprint: 1D05 01E3 24B0 CE15 C56C B8A4 45B4 D77A 13BD D745