Institut für Theoretische Informatik (ITI) – Anwendungsorientierte Formale Verifikation
Professor
Name Raum Telefon E-Mail
Beckert, Bernhard 224 + 49 721 608-44025 beckertSau2∂kit edu
Sekretariat
Name Raum Telefon E-Mail
223 + 49 721 608-44023 simone meinhartThg5∂kit edu
Wissenschaftliche Mitarbeiter/innen
Name Raum Telefon E-Mail
227 + 49 721 608-43856 lionel blatterHqy9∂kit edu
228 + 49 721 608-45648 kirstenFlc1∂kit edu
1.1.27 (FZI) + 49 721 9654-648 klamrothRjb4∂fzi de
203 + 49 721 608-45252 lanzinger∂kit edu
wolfram pfeiferRjb4∂kit edu
226 + 49 721 608-47318 jonas schifflRjb4∂kit edu
229 + 49 721 608-44338 ulbrichRjb4∂kit edu
202 + 49 721 608-45253 vielsackRjsdafsafb4∂kit edu
225 + 49 721 608-44324 weiglRjb4∂kit edu
Systemadministration
Name Raum Telefon E-Mail
Kölmel, Ralf 331 + 49 721 608-43949 ralf.koelmel1667276990Xfd4∂kit.edu
Emeritus
Name Raum Telefon E-Mail
310 + 49 721 608-44000 pschmittRjb4∂ira uka de
Alumni/ae
Name E-Mail
gladischXfd4∂ira uka de
daniel grahlSrv3∂kit edu
klebanovFlc1∂kit edu
bormerSau2∂kit edu
greinerRwx7∂ira uka de
liuRwx7∂ira uka de
grebingThg5∂ira uka de
mihai.herdaHqy9∂posteo de