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
Dr. Vladimir Klebanov
Karlsruhe Institute of Technology
Institute for Theoretical Computer Science
klebanov(at)kit.edu
Members
Dr. Mattias Ulbrich
Karlsruhe Institute of Technology
Institute for Theoretical Computer Science
ulbrich(at)kit.edu