Dieses Bild zeigt das FMI Logo

Willkommen am

Institut für Formale Methoden der Informatik (FMI)

Forschung und Lehre in den Bereichen Theoretische, Praktische, Technische und Angewandte Informatik.

Im Hinblick auf Forschungs- und Projektarbeiten stehen am Institut für Formale Methoden der Informatik besonders folgende Ziele im Fokus:

  • die Entwicklung von Algorithmen mit beweisbaren Garantien, sowohl in der Laufzeit als auch in der Qualität der Ergebnisse
  • die theoretischen Grundlagen der Informatik (insbes. Automatentheorie, Berechenbarkeit, Formale Sprachen, Komplexität, Graphentheorie, Mathematik)

Lageplan

Zum Lageplan
 

Kontakt

Prof. Dr.

Stefan Funke

Abteilungsleiter

Prof. Dr. rer. nat. habil.

Volker Diekert

Institutsleiter

 

Heike Photien

Sekretariat