FMI | Leitung

	Institut für Formale Methoden der Informatik
	Leitung

Geschäftsführender Direktor
Prof. Dr. Volker Claus
Tel. +49 711 7816-300
Stellvertretender Geschäftsführer
Prof. Dr. rer. nat. habil. Volker Diekert
Tel. +49 711 7816-329
Sekretariat
Heike Photien
Tel. +49 711 7816-328
Fax +49 711 7816-310

Anschrift
Institut für Formale
Methoden der Informatik
Universitätsstraße 38
D-70569 Stuttgart