Peter H. Schmitt#
Membership Number: | 3130 |
Membership type: | ORDINARY |
Section: | INFORMATICS |
Elected: | 2011 |
Main Country of Residence: | GERMANY |
Homepage(s): | https://formal.kastel.kit.edu/~schmitt/ |
Present and Previous Positions
- October 2014 Professor Emeritus
- 1988 - 2014 Fulll professor for Theoretical Computer Science at the University of Karlsruhe (since 2006 Karlsruhe Institute of Technology)
- 1984 - 1988 LILOG project, IBM Germany
- 1983 Habilitation (2. PhD) at the University of Heidelberg
- 1981 Visiting researcher at the Hebrew University of Jerusalem for a month during the "International Logic Year"
Fields of Scholarship
- Formal methods
- Programm verification
- Automated reasoning
- Formal specification
Honours and Awards
- Member of the Supervisory Board of the Leibniz-Zentrum für Informatik, Schloß Dagstuhl until October 2021