Herr Prof. Dr. rer. nat.
Institut für Formale Methoden der InformatikTheoretische Informatik
+49 711 685 88329 E-Mail Website
Universitätsstr. 38 70569 Stuttgart Deutschland