RS3 Principal Investigators (Phase 3)
The following researchers led the RS3 projects whose results were presented at the final event:
Bernhard Beckert
Karlsruhe Institute of Technology
Eric Bodden
University of Paderborn
Bernd Finkbeiner
Saarland University
Deepak Garg
MPI for Software Systems
Christian Hammer
Potsdam University
Dieter Hutter
DFKI GmbH and University of Bremen
Heiko Mantel
TU Darmstadt
Markus Müller-Olm
WWU Münster
Tobias Nipkow
TU Munich
Ralf Küsters
University of Stuttgart
Alexander Pretschner
TU Munich
Wolfgang Reif
Augsburg University
Helmut Seidl
TU Munich
Gregor Snelting
Karlsruhe Institute of Technology