Institut für Theoretische Informatik (ITI) – Anwendungsorientierte Formale Verifikation

People

Staff

Bernhard Beckert +49 721 608 44025 beckert@kit.edu
Vladimir Klebanov +49 721 608 45252 klebanov@kit.edu
Sarah Grebing +49 721 608 45253 grebing@ira.uka.de
Mattias Ulbrich +49 721 608 44338 ulbrich@kit.edu

Students

Dennis Felsing
Alexander Weigl


Join Us

We have interesting topics for student theses (diploma, master, etc.) within the project.

We also have open positions for student assistants ("Hiwi").

Contact Sarah Grebing, if you are interested.