Institute for Formal Methods of Computer Science

Theoretical Computer Science / Algorithmics

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

To the top of the page