Links to
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
Stefan Funke
Prof. Dr.Head of the Algorithmics Group