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

Volker Diekert

Prof. Dr. rer.-nat. habil.

Head of institute
Head of the Theoretical Computer Science Group

To the top of the page