About
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.
0Publications listed
Find Bernd Finkbeiner elsewhere
Related Searches
You Might Also Like
Bernd FinkbeinerSaarland University · Professor
Jana HofmannMax Planck Institute for Security and Privacy · Researcher
Leander TentrupSaarland University · Researcher
Aws AlbarghouthiInria · Researcher
Rayna DimitrovaMax Planck Institute for Software Systems · Assistant Professor- TTobias NießenVienna University of Technology · Researcher