Reliably Secure Software Systems (RS3) –
DFG Priority Programme 1496
Prof. Dr. Heiko Mantel (Coordinator)
TU Darmstadt
Prof. Dr. Dieter Hutter
DFKI GmbH Bremen
Prof. Dr. Dr. h.c. Günter Müller
University of Freiburg
Prof. Tobias Nipkow, Ph.D.
TU Munich
Prof. Dr. Gregor Snelting
Karlsruhe Institute of Technology