KIT - Karlsruhe Institute of Technology image/svg+xml
Logic and Formal Methods
  • skip navigation
  • Home
  • Legals
  • Privacy Policy
  • Accessibility
  • Sitemap
  • KIT
  • de
  • Staff
  • Research
  • Teaching
  • Theses
  • Publications
  • Contact
  • Startpage
  • Home
  • Legals
  • Privacy Policy
  • Accessibility
  • Sitemap
Logic and Formal Methods
  • Startpage
  • Staff
  • Welcome to the Logic and Formal Methods Group
    • Staff
    • Research
    • Teaching
    • Theses
    • Publications
    • Contact
  • Staff
Professor
Name Room Phone E-mail
Schmitt, Peter H. 310 +49 721 608 - 44000 / - 43919 (Sekr.) pschmitt ∂does-not-exist.ira uka de
Secretary
Name Room Phone E-mail
Sauer, Elke 321 +49 721 608-43919 esa ∂does-not-exist.iti uni-karlsruhe de
Beckert, Lilian 321 +49 721 608-43919 lbeckert ∂does-not-exist.ira uka de
Researchers / Ph.D. Students
Name Room Phone E-mail
Faragó, David 308 +49 721 608-47322 farago ∂does-not-exist.kit edu
Scheben, Christoph 106 +49 721 608 - 44338 scheben ∂does-not-exist.ira uka de
System Administration
Name Room Phone E-mail
Kölmel, Ralf   43949 ralf koelmel ∂does-not-exist.kit edu
Alumni
Name
Ahrendt, Wolfgang
Baar, Thomas
Beckert, Bernhard
Bubel, Richard
Dix, Jürgen
Engel, Christian
Giesinger, Bernd
Hähnle, Reiner
Klebanov, Vladimir
Pape, Christian
Posegga, Joachim
Roth, Andreas
Schlager, Steffen
Tonin, Isabel
Werner, Frank
Weiß, Benjamin
Ulbrich, Mattias
KIT – The Research University in the Helmholtz Association
  • Home
  • Legals
  • Privacy Policy
  • Accessibility
  • Sitemap
  • KIT