Bernd Finkbeiner

Reactive Systems Group
Universität des Saarlandes
Phone: +49 681 302 5651
eMail: finkbeiner at cs.uni-saarland.de
Office hour: by appointment
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.

Teaching

Tutorial lectures

Overview papers

Publications