Contact    Jobs

Bernd Finkbeiner

Bernd Finkbeiner

Reactive Systems Group
Universität des Saarlandes
Phone: +49 681 302 5632
eMail: finkbeiner at
Building: E 1 3 Room: 506
Coordinates: N 49.257833° E 7.045144°

I am a professor in computer science at Saarland University. I am currently the chairman of the examination board. If you have questions regarding the examination regulations please come to my office hours on Wednesdays 3-4pm.

I am on the programme committees of CAV 2014 and ICE 2014, and on the editorial board of Acta Informatica. If you would like me to handle your Acta Informatica submission, please send me e-mail.


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).