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.
FOSSACS
FoSSaCS 2022, LNCS 13242ETAPS 2022
CSL
30th EACSL Annual Conference on Computer Science Logic (CSL 2022)30th EACSL Annual Conference on Computer Science Logic (CSL 2022)
FST&TCS
41st IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science (FSTTCS 2021)41st IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science
NeurIPS
Advances in Neural Information Processing Systems 34 (NeurIPS 2021)Thirty-fifth Conference on Neural Information Processing Systems
IEEE VIS
IEEE Transactions on Visualization and Computer GraphicsIEEE VIS 2021
ATVA
LNCS19th International Symposium on Automated Technology for Verification and Analysis (ATVA 2021)
ATVA
19th International Symposium, ATVA 2021, Gold Coast, QLD, Australia, October 18–22, 2021, ProceedingsATVA 2021
ATVA
Proceedings of the 19th International Symposium on Automated Technology for Verification and Analysis (ATVA 2021)19th International Symposium on Automated Technology for Verification and Analysis (ATVA 2021)
RV
LNCSRuntime Verification - 21st International Conference, RV 2021, Virtual Event, October 11-14, 2021, Proceedings