Bernd Finkbeiner

Bernd Finkbeiner is a Professor of Computer Science at Saarland University and a faculty member at the CISPA Helmholtz Center for Information Security. He leads the Reactive Systems Group, which merged with CISPA in 2020, focusing on formal methods for ensuring system safety and security.

• University: Saarland University
• Research Institution: CISPA Helmholtz Center for Information Security

His research spans synthesis, verification, and monitoring of reactive systems, with applications to program repair, static/dynamic analysis, and security guarantees. Recent work includes coinductive proofs for hyperliveness, asynchronous hyperproperty verification, and symbolic execution for bug detection.

Key trends in his publications include:

• Hyperliveness and fairness in reactive systems
• Symbolic execution for hyperbug identification
• Integration of synthesis and verification techniques
• Formal guarantees for cybersecurity and software reliability

He contributes to academic communities through committee roles at conferences like POPL, ICFP, SPLASH, and VMCAI.