Lehr- und Forschungsgebiet Automaten und Systemtheorie
Am
Institut für Informatik
Struktur des Lehr- und Forschungsgebiets
Lehrveranstaltungen
Forschungsschwerpunkte
Jahres- und Diplomarbeiten
Aktuelles und Prüfungstermine
Achtung:
Der Lehrstuhl heißt ab 1.8.2003 "Logik in der Informatik" und wird von
Prof. Dr. Martin Grohe
geleitet.
Petra Kämpfer
(kaempfer@informatik.hu-berlin.de)
Am Institut für Informatik