Institute for Formal Methods of Computer Science (FMI)

Institute

Short description (160 characters)

Research

yadda yadda yadda

Teaching

yadda yadda yadda

More ...

The FMI Team

Contact and Directions

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