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