Robert Mattmüller

Albert-Ludwigs-Universität ◊ Freiburg im Breisgau

Überblick

Robert Mattmüller ist seit April 2006 Wissenschaftlicher Mitarbeiter in der Arbeitsgruppe für Grundlagen der Künstlichen Intelligenz, Institut für Informatik, Technische Fakultät, Universität Freiburg.

Aktuelle Informationen gibt es auf meiner Website an der Uni.

Interessen

  • Künstliche Intelligenz, Handlungsplanung
  • Automatisierte Verifikation