Bernd Finkbeiner

Professor of Computer Science
Reactive Systems Group
CISPA Helmholtz Center for Information Security
Phone: +49 681 302 5651
eMail: finkbeiner at
Building: E1 1 Room: 1.11

I am interested in computer systems and protocols that are reactive in nature: systems of concurrent processes that interact with each other and with their environment over a possibly infinite run. Parallelism and nondeterminism make it difficult to design such systems correctly. My research concerns computer-aided methods that derive implementations from formal specifications (synthesis) and that prove that a given implementation satisfies a logical property (verification).

Together with Leonardo Mariani I organize the 19th International Conference on Runtime Verification (RV 2019), in Porto, Portugal, October 8-11, 2019. RV 2019 is part of the 3rd World Congress on Formal Methods. I am also a member of the program committees for CSL 2020, CONCUR 2020, ATVA 2020 and CAV 2020.


Tutorial lectures

Overview papers