The Institute for Formal Methods of Computer Science (FMI) belongs to the Institutsverbund Informatik (IvI) (internal only) and was spun off on 27.11.2002 from the former Institut für Informatik (IFI).
Further information about research and teaching activities of the institute can be found on the sub-webpages of the individual groups below.
Content before SS 2020 can be found on the old website.
Contact
Petra van Schayck
Secretary
Volker Diekert
Prof. Dr. rer.-nat. habil.Head of institute
Head of the Theoretical Computer Science Group