Bernd Finkbeiner

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

Teaching

Tutorial lectures

Overview papers

Publications