Bernd Finkbeiner

Professor, Saarland University

Bernd Finkbeiner is a professor for computer science at CISPA Helmholtz Center for Information Security and at Saarland University, where he heads the reactive systems group. His research interest is the automatic verification and synthesis of reactive systems. Since 2016, he is the PI of the ERC project OSARES on output-sensitive algorithms for reactive synthesis.

Program Visits

Theoretical Foundations of Computer Systems, Spring 2021, Visiting Scientist