2022: ERC Advanced Grant for "HYPER"
2021: Busy Beaver Award for "Programming I"
Prof. Bernd Finkbeiner, Ph.D. is a faculty at the CISPA Helmholtz Center for Information Security and a professor for computer science at Saarland University. He obtained his Ph.D. in 2003 from Stanford University. Since 2003, he leads the Reactive Systems Group, which became part of CISPA in 2020. His research focus is the development of reliable guarantees for the safety and security of computer systems, including specification, program synthesis and repair, and static and dynamic verification.
CAV
Proc. of the 27th International Conference on Computer Aided Verification (CAV 2015)
CAV
Proc. of the 27th International Conference on Computer Aided Verification (CAV 2015)
Correct System Design - Symposium in Honor of Ernst-Rüdiger Olderog on the Occasion of His 60th Birthday, Oldenburg, Germany, September 8-9, 2015. Proceedings
Logical Methods in Computer Science
Proceedings of Fifth International Symposium on Games, Automata, Logics and Formal Verification (GandALF 2014)
CAV
Proc. of the 26th International Conference on Computer Aided Verification (CAV 2014)
8th International Conference on Language and Automata Theory and Applications (LATA 2014)
SAT
Theory and Applications of Satisfiability Testing (SAT 2014)
TACAS
Proc. 20th International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS 14)
Proceedings of the 15th International Conference on Verification, Model Checking, and Abstract Interpretation (VMCAI'14)