Formale Methoden der Informatik
Willkommen auf der Webseite des Lehrstuhls Formale Methoden der Informatik!
Der Lehrstuhl ist Teil der Abteilung für Allgemeine Informatik in der Fakultät für Informatik. Er wird geleitet von Prof. Dr. Janis Voigtländer.