Bernd Finkbeiner (Preferred)
Bernd Finkbeiner
Full Professor, Computer Science, Technical University of Munich
Full Professor, CISPA Helmholtz Center for Information Security
- Joined May 2021
Names
Emails
****@cispa.saarland (Confirmed)
, ****@cispa.de (Confirmed)
Personal Links
Career & Education History
Full Professor
Computer Science, Technical University of Munich (tum.de)
2025 – Present
Full Professor
CISPA Helmholtz Center for Information Security (cispa.de)
2020 – Present
Full Professor
Saarland University (uni-saarland.de)
2002 – 2025
Advisors, Relations & Conflicts
Expertise
symbolic ai
2020 – Present
formal methods, verification, synthesis
1995 – Present