Institute for Formal Methods of Computer Science (FMI)

Institute

Short description (160 characters)

Research

yadda yadda yadda

Teaching

yadda yadda yadda

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