Prof. Dr. rer. nat.
Institute of Formal Methods of Computer ScienceTheoretical Computer Science
+49 711 685 88329 Email Website
Universitätsstr. 38 70569 Stuttgart Deutschland
