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.
Volker DiekertProf. Dr. rer.-nat. habil.
Head of institute
Head of the Theoretical Computer Science Group