Bernd Finkbeiner - Curriculum Vitae#

• Tenured Faculty, CISPA Helmholtz Center for Information Security, Germany, and
  
• Full Professor, Technical University of Munich, Germany

• 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

• 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

• 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

• 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)

• Current PhD students: 12, current postdocs: 1
  
• Completed PhD students: 19, completed postdocs: 5

• 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)