Arbeitsgruppe Grundlagen der Künstlichen Intelligenz

Im März 2006 erhielt Robert Mattmüller ein Diplom in Informatik von der Albert-Ludwigs-Universität Freiburg.

Seit April 2006 ist er wissenschaftlicher Mitarbeiter in der von Prof. Dr. Bernhard Nebel geleiteten Arbeitsgruppe Grundlagen der Künstlichen Intelligenz an der Universität Freiburg. Er ist Mitglied des transregionalen Sonderforschungsbereichs SFB/TR14 AVACS. Zu seinen Forschungsinteressen gehören Handlungsplanung sowie heuristische Methoden in der automatischen Verifikation.

• Übungen zur Vorlesung Handlungsplanung (WS 06/07)
• Übungen zur Vorlesung Grundlagen der Künstlichen Intelligenz (SS 07)
• Übungen zur Vorlesung Spieltheorie (WS 07/08)
• Übungen zur Vorlesung Logik für Informatiker (Diplom) (WS 07/08)
• Beteiligung am Seminar Handlungsplanung und Modelchecking (WS 07/08)
• Übungen zur Vorlesung Grundlagen der Künstlichen Intelligenz (SS 08)
• Beteiligung am Seminar Logik in der KI (SS 08)

Öffentlicher PGP/GPG-Schlüssel

Wenn Sie mir eine verschlüsselte Email senden wollen, so verwenden Sie bitte meinen öffentlichen PGP/GPG-Schlüssel (gültig bis 2011-09-22).