Willkommen

Der Lehrstuhl befasst sich mit Logik in der Informatik, Automatentheorie, und Anwendungen in Verifikation und Synthese.

Aktuelles

  • Der Flur des i7 wird renoviert. Sie finden die betreffenden Mitarbeiter vorübergehend in anderen Räumlichkeiten. Diese sind in der Personensuche in Campus eingetragen.

    Die neuen Räume der Professoren und das Sekretariat befinden sich nun im HBau 2.OG und sind über die Treppe von Foyer Ahornstraße aus zu erreichen:
    • Sekretariat: 2227
    • Prof. Grohe: 2224
    • Prof. Thomas: 2225
    • Priv.-Doz. Löding 2225
  • Vorträge in der Arbeitsgemeinschaft Logik und Automaten (AG LuA).
  • Sprechstunden und Reisetermine Prof. Thomas
UMIC Research Cluster AutoMathA (Research Network) ESF
AlgoSyn DFG-Graduiertenkolleg GASICS (Project in the
EUROCORES programme LogICCC)		 ESF
b-itB-IT Research School Verifikation mit Ressourcenschranken DFG

Lehr- und Forschungsgebiet Mathematische Grundlagen der Informatik (Prof. Dr. E. Grädel)

Fachgruppe Informatik