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.
Proceedings of the 10th International Conference on Formal Modeling and Analysis of Timed Systems (FORMATS'12)
Proc. 13th International Conference on Verification, Model Checking, and Abstract Interpretation (VMCAI)
Proc. 5th International Symposium On Leveraging Applications of Formal Methods, Verification and Validation (ISoLA)
Proceedings of the Second International Conference on Runtime Verification (RV'11)
Proceedings of the 13th International Conference on Verification, Model Checking, and Abstract Interpretation (VMCAI'12)
TACAS
Proc. 18th International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS 12)
Logical Methods in Computer Science (LMCS'12)
Proceedings of the 10th International Conference on Formal Modeling and Analysis of Timed Systems (FORMATS'12)
Infotech@Aerospace 2012, Garden Grove, California, USA, June 19-21, 2012