Links to
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).
Note on enquiries for theses and study projects
Requests for theses or study projects at our institute are generally welcome. However, a prerequisite for meaningful academic supervision is that you have already attended advanced courses at our institute or are familiar with our research focus areas through work as a tutor or research assistant (Hiwi).
If your request does not indicate any relevant academic connection to our teaching offerings or research topics, we reserve the right to decline supervision; in such cases, no response should be expected.
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
Stefan Funke
Prof. Dr.Head of the Algorithmics Group