Apl. Prof. Dr. rer. nat.
Institute of Formal Methods of Computer ScienceTheoretical Computer Science
Email Website
Universitätsstr. 38 70569 Stuttgart Deutschland
Office hour: Do 13:15 - 14:00 Uhr Please make an appointment via E-Mail.