KIT – Logic and Formal Methods – Peter H. Schmitt
Home  |  Institute  |  Legals  |  Privacy Policy  |  Sitemap  |  KIT
Peter H. Schmitt Prof. Dr. Peter H. Schmitt
Professor im Ruhestand

Professional Vita

  • Peter H. Schmitt was born 22 May, 1948.
  • He studied mathematics and physics at Heidelberg University.
  • In 1975 he obtained his doctorate in mathematics at Heidelberg University. His main research interest at that time was in mathematical logic.
  • From summer 1975 to summer 1976, he held a post-doc position at Simon Fraser University, British Columbia, Canada.
  • He was a visiting researcher at the Hebrew University of Jerusalem for a month during the "International Logic Year", 1981.
  • In 1983 he obtained his habilitation (2. PhD) at Heidelberg University.
  • From 1984 to 1988 he worked for IBM Germany. His main assignment was within the LILOG project.
  • From 1988 to 2014 he was a fulll professor for Theoretical Computer Science at the University of Karlsruhe (since 2006 Karlsruhe Institute of Technology).
  • His main research interests lie in the area of formal methods: formal specification, programm verification, automated reasoning.
        He is one of the founding fathers of the KeY project.
  • Peter Schmitt retired from his professorship in October, 2014.
  • He was a member of the Supervisory Board of the Leibniz-Zentrum für Informatik, Schloß Dagstuhl until October 2021.