Institute for Formal Methods of Computer Science

FMI-Teaser

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).

It participates in the teaching of computer science and software engineering, as well as in further courses through minor subject offers. (Information about the degree programs: Bachelor, Master)

In research, his departments are active in the areas of theoretical, practical, technical and applied computer science.

Content before SS 2020 can be found on the old website.

Contact

 

Petra van Schayck

Secretary

Prof. Dr. rer.-nat. habil.

Volker Diekert

Head of institute
Head of the Theoretical Computer Science Group

To the top of the page