KIT - Karlsruher Institut für Technologie
Logik und Formale Methoden
  • Navigation überspringen
  • Home
  • Impressum
  • Datenschutz
  • Barrierefreiheit
  • Sitemap
  • KIT
  • en
  • Mitarbeiter
  • Forschung
  • Studium und Lehre
  • Studien- und Diplomarbeiten, Hiwi-Stellen
  • Veröffentlichungen
  • So finden Sie uns
  • Startseite
  • Home
  • Impressum
  • Datenschutz
  • Barrierefreiheit
  • Sitemap
Logik und Formale Methoden
  • Startseite
  • Mitarbeiter
  • Willkommen bei der Forschungsgruppe Logik und Formale Methoden
    • Mitarbeiter
    • Forschung
    • Studium und Lehre
    • Studien- und Diplomarbeiten, Hiwi-Stellen
    • Veröffentlichungen
    • So finden Sie uns
  • Mitarbeiter
Professor
Name Raum Tel. E-Mail
Schmitt, Peter H. 310 +49 721 608 - 44000 / - 43919 (Sekr.) pschmitt ∂does-not-exist.ira uka de
Sekretariat
Name Raum Tel. E-Mail
Beckert, Lilian 321 +49 721 608-43919 lbeckert ∂does-not-exist.ira uka de
Sauer, Elke 321 +49 721 608-43919 esa ∂does-not-exist.iti uni-karlsruhe de
Wissenschaftliche Mitarbeiter
Name Raum Tel. 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
Systemadministrator
Name Raum Tel. 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 – Die Forschungsuniversität in der Helmholtz-Gemeinschaft
  • Home
  • Impressum
  • Datenschutz
  • Barrierefreiheit
  • Sitemap
  • KIT