Institut für Formale Methoden der Informatik (FMI)

Das Institut für Formale Methoden der Informatik wird von Prof. Dr. rer. nat. habil. Volker Diekert geleitet. Alle Abteilungen tragen mit Grund- und Spezialveranstaltungen zum Lehrangebot der Fakultät bei. Die Forschungsaktivitäten sind bei den einzelnen Abteilungen beschrieben.

Abteilungen des FMI

• Algorithmik
• Theoretische Informatik
• (Betriebssoftware, bis zur Emeritierung von Prof. Lagally, Oktober 2005)
• (Formale Konzepte, bis zur Emeritierung von Prof. Claus, Oktober 2009)
• (Sichere und Zuverlässige Softwaresysteme)
  

Kontakt

Tel.     +49 (0)711/685-88-328
Fax     +49 (0)711/685-88-310