Bernd Finkbeiner

Professor, Saarland University
Visiting Scientist
Dates of Visit: Feb. 15May 14, 2021

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