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.
- Theoretical Foundations of Computer Systems, Spring 2021. Visiting Scientist.