Peter H. Schmitt#


Michael Huth
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


Imprint Privacy policy « This page (revision-4) was last changed on Tuesday, 22. August 2023, 09:45 by Kaiser Dana
  • operated by