Principal Investigators
Prof. Dr. Bernhard Beckert
Karlsruher Institut für Technologie (KIT)
Institut für Theoretische Informatik
Lehrstuhl Anwendungsorientierte Formale Verifikation
beckert(at)kit.edu
Prof. Dr.-Ing. Birgit Vogel-Heuser
Technische Universität München
Fakultät für Maschinenwesen
Lehrstuhl für Automatisierung und Informationssysteme
vogel-heuser(at)ais.mw.tum.de
Dr. Mattias Ulbrich
Karlsruher Institut für Technologie (KIT)
Institut für Theoretische Informatik
Anwendungsorientierte Formale Verifikation
ulbrich(at)kit.edu
Members
Suhyun Cha
Technische Universität München
Fakultät für Maschinenwesen
Lehrstuhl für Automatisierung und Informationssysteme
suhyun.cha(at)ais.mw.tum.de
Alexander Weigl
Karlsruher Institut für Technologie (KIT)
Institut für Theoretische Informatik
Anwendungsorientierte Formale Verifikation
weigl(at)kit.edu
Former Members
Sebastian Ulewicz
Technische Universität München
Fakultät für Maschinenwesen
Lehrstuhl für Automatisierung und Informationssysteme
ulewicz(at)ais.mw.tum.de
Michael Kirsten
Karlsruher Institut für Technologie (KIT)
Institut für Theoretische Informatik
Anwendungsorientierte Formale Verifikation
kirsten(at)kit.edu
Franziska Wiebe
Technische Universität München
Fakultät für Maschinenwesen
Lehrstuhl für Automatisierung und Informationssysteme
franziska.wiebe(at)tum.de