!!Bernd Finkbeiner - Curriculum Vitae
\\
__Current position:__ 
\\
*Tenured Faculty, CISPA Helmholtz Center for Information Security, Germany, and \\
*Full Professor, Technical University of Munich, Germany
\\
__Education:__
\\
*2003 PhD in Computer Science, Stanford University (Advisor: Zohar Manna)
*1996 Diploma in Computer Science, Technical University of Munich\\
*1995 Master degree in Computer and Information Sciences, University of Delaware
\\
__Academic Distinctions:__
\\
*2022 ERC Advanced Grant\\
*2019 Landespreis Hochschullehre\\
*2016 ERC Consolidator Grant\\
*Best/distinguished paper awards at FMCAD 2025, RV 2024, FM 2024, ATVA 2024, CSF 2023, ETAPS 2023, CAV 2022, ICAPL2009, FSEM 2007
*Outstanding teaching awards at Universität des Saarlandes in 2018 and 2021
\\
__Academic Self-Governance:__
\\
*since 2026 Jury Member of the CAV Award\\
*since 2024 Editorial Board Member of TheoretiCS\\
*since 2024 Steering Committee Member of the Verification Mentoring Workshop\\
*since 2010 Editorial Board Member of Acta Informatica
\\
__Organization of Scientific Meetings:__
\\
*2024 Program Co-chair of “International Conference on Tools and Algorithms for the Construction and Analysis of Systems” (TACAS)\\
*2022 Program Co-chair of “International Conference on Verification, Model Checking, and Abstract Interpretation” (VMCAI)\\
*2019 Program Co-chair of “International Conference on Runtime Verification” (RV)\\
*2015 Program Co-chair of “Symposium on Automated Technology for Verification and Analysis” (ATVA)\\
*Co-organizer of three Dagstuhl seminars (2007, 2023, 2024)
\\
__Supervision of Researchers in Early Career Phases:__
\\
*Current PhD students: 12, current postdocs: 1 \\
*Completed PhD students: 19, completed postdocs: 5
\\
__Funding and Project Leadership:__
\\
*2022 - 2027 ERC Advanced Grant “HYPER” (Logics and Algorithms for a Unified Theory of Hyperproperties)\\
*2024 - 2026 DFG Project “PreCePT” (Precise Monitoring of Cyber-Physical Technology under Uncertainty)\\
*2019 - 2026 DFG Transregional Collaborative Research Centre 248\\
*2020 - 2023 GIF Project “Knowledge-Based Synthesis”\\
*2016 - 2021 ERC Consolidator Grant “OSARES” (Output-Sensitive Algorithms for Reactive Synthesis)\\
*2018 - 2021 DFG Project “Petri Games” (A Semantic and Algorithmic Approach for the Efficient Synthesis)\\
*2015 - 2019 DFG Transregional Collaborative Research Centre 1223 “privacySFB” (Methods and Tools for Understanding and Controlling Privacy)\\
*2010 - 2016 DFG Project “SpAGAT” (Specification and Analysis of Games with Access rights varying over Time)\\
*2004 - 2015 DFG Transregional Collaborative Research Centre 14 “AVACS” (Automatic Verification and Analysis of Complex Systems)\\
*2003 - 2007 BMBF Project “Verisoft” (Beweisen als Ingenieurwissenschaft)\\ \\[{ALLOW view All}][{ALLOW edit bfinkbeiner}][{ALLOW upload bfinkbeiner}][{ALLOW comment All}]