Chair for Verification and
Synthesis of Reactive Systems
People
Research
Publications
Tools
Student Projects
Courses
People
Prof. Bernd Finkbeiner, Ph.D.
finkbeiner@cispa.de
+49 681 87083 2059
E9 1 / 1.08
Jan Baumeister
jan.baumeister@cispa.de
+49 681 87083 2114
E9 1 / 1.11
Raven Beutner
raven.beutner@cispa.de
+49 681 87083 2244
E9 1 / 1.10
Norine Coenen
coenen@react.uni-saarland.de
N/A
E9 1 / 1.09
Arthur Correnson
arthur.correnson@cispa.de
+49 681 87083 2795
E9 1 / 1.10
Matthias Cosler
matthias.cosler@cispa.de
+49 681 87083 2549
E9 1 / 1.12
Julian Erhard
julian.erhard@tum.de
+49 89 289 18182
5613.01.039
Oscar/Mohamed Ghanem
mohamed.ghanem@cispa.de
+49 681 87083 2101
E9 1 / 1.12
Florian Kohn
florian.kohn@cispa.de
+49 681 87083 2752
E9 1 / 1.11
Vladimir Krsmanovic
vladimir.krsmanovic@cispa.de
+49 681 87083 2462
E9 1 / 1.12
Iona Kuhn
iona.kuhn@cispa.de
+49 681 87083 2166
E9 1 / 1.09
Nico Mansion
nico.mansion@cispa.de
+49 681 87083 2589
E9 1 / 1.10
N. Ege Saraç
ege.sarac@cispa.de
+49 681 87083 2024
01.13.039
Frederik Scheerer
frederik.scheerer@cispa.de
+49 681 87083 2963
E9 1 / 1.11
Frederik Schmitt
frederik.schmitt@cispa.de
+49 681 87083 2462
E9 1 / 1.09
Julian Siber
julian.siber@cispa.de
+49 681 87083 2463
E9 1 / 1.10
Alumni
Dr. Rayna Dimitrova
CISPA Helmholtz Center for Information Security
Dr. Klaus Dräger
University of Westminster
Prof. Dr. Rüdiger Ehlers
Clausthal University of Technology
Dr. Peter Faymonville
ITK Engineering
Prof. Dr. Hadar Frenkel
Bar-Ilan University
Dr. Michael Gerke
Schloss Dagstuhl
Dr. Christopher Hahn
Google DeepMind
Dr. Jesko Hecking-Harbusch
Bosch
Dr. Jana Hofmann
Max Planck Institute for Security and Privacy (MPI-SP)
Dr. Swen Jacobs
CISPA Helmholtz Center for Information Security
Dr. Felix Klein
QBayLogic
Dr. Lars Kuhtz
Kadena LLC
Dr. Andrey Kupriyanov
Institute of Science and Technology Austria
Dr. Niklas Metzger
Technical University of Munich, CIT
Dr. Noemi Passing
VECTOR Informatik
Dr. Hans-Jörg Peter
Siemens EDA (Siemens Digital Industries Software)
Dr. Markus N. Rabe
Augment Code
Dr. Mouhammad Sakr
American University of Beirut
Prof. Dr. Sven Schewe
University of Liverpool
Malte Schledjewski
VIVAVIS
Dr. Maximilian Schwenger
b4value.net
Prof. Dr. Hazem Torfah
Chalmers University of Technology
Dr. Alexander Weinert
German Aerospace Center
Prof. Dr. Martin Zimmermann
Aalborg University
Contact
Data Privacy Policy
Imprint
Home
People
Publications
More
Research
Tools
Projects
Courses