Bernd Finkbeiner

Prof. Bernd Finkbeiner is a faculty member at CISPA Helmholtz Center for Information Security and holds a Professorship in Computer Science at Saarland University. He earned his Ph.D. in 2003 from Stanford University. Leading the Reactive Systems Group since 2003, now part of CISPA, his research focuses on ensuring safety and security in computer systems through formal methods like specification, program synthesis, and verification. Key projects include output-sensitive reactive synthesis (OSARES), hyperproperty logics (HYPER), and real-time monitoring (RTLOLA).

Education:

• Ph.D. in Computer Science, Stanford University, 2003

His research interests span hyperproperties, formal verification, runtime monitoring of cyber-physical systems, and distributed synthesis. He has pioneered tools like StreamLAB and AutoHyper for hyperproperty analysis. His work on temporal causality and information-flow guided synthesis addresses challenges in distributed and secure systems.

Key Achievements:

• Recipient of ERC Advanced Grant 2022–2027 for Project HYPER
• Best Paper Awards at ICALP 2009, FSEN 2007, and VMCAI 2012
• Leader of the Reactive Systems Group at CISPA

Grants & Funding:

• ERC Advanced Grant supporting research on hyperproperties

His lab develops cutting-edge tools for formal methods, including BoSy for bounded synthesis and RTLola for runtime verification. Current research explores compositional synthesis, explainable reactive systems, and robust monitoring for medical and autonomous systems.