Direkt zu
Das Institut für Formale Methoden der Informatik (FMI) gehört dem Institutsverbund Informatik (IvI) (nur intern) an und wurde am 27.11.2002 aus dem bis dahin bestehenden Institut für Informatik (IFI) ausgegliedert.
Hinweis zu Anfragen für Abschlussarbeiten und Studienprojekte
Anfragen zu Abschlussarbeiten oder Studienprojekten an unserem Institut sind grundsätzlich willkommen. Voraussetzung für eine inhaltlich sinnvolle Betreuung ist jedoch, dass Sie bereits weiterführende Lehrveranstaltungen unseres Instituts besucht haben oder im Rahmen einer Tutor:innen- bzw. Hiwi-Tätigkeit mit unseren Forschungsschwerpunkten vertraut sind.
Gehen aus Ihrer Anfrage keine Hinweise auf eine entsprechende fachliche Anbindung an unsere Lehrangebote oder Forschungsthemen hervor, behalten wir uns vor, von einer Betreuung abzusehen; in diesen Fällen ist keine Antwort zu erwarten.
Für weitergehende Informationen bzgl. Forschungs- und Lehrtätigkeiten besuchen Sie die Unterseiten der jeweiligen Abteilung.
Inhalte vor SS 2020 finden sich auf der alten Webseite.
Kontakt
Petra van Schayck
Sekretariat FMI
Stefan Funke
Prof. Dr.Leiter der Algorithmik-Gruppe