Bernd Finkbeiner#
| Membership Number: | 7418 |
| Membership type: | ORDINARY |
| Section: | INFORMATICS |
| Elected: | 2026 |
| Main Country of Residence: | GERMANY |
| Homepage(s): | https://finkbeiner.groups.cispa.de/people/finkbeiner |
| ORCID: | 0000-0002-4280-8441 |
| Publication Link: | https://dblp.org/pid/73/4443.html |
Present and Previous Positions
- Since 2025 Full Professor, Technical University of Munich
- Since 2020 Tenured Faculty, CISPA Helmholtz Center for Information Security
- 2006 - 2025 Professor, Saarland University
- 2003 - 2006 Juniorprofessor, Saarland University
Fields of Scholarship
- Runtime monitoring and enforcement
- Automated verification
- Reliable guarantees for the safety and security of computer systems
- Program synthesis and repair
- Logical foundations of hyperproperties
Honours and Awards
- 2022 ERC Advanced Grant
- 2016 ERC Consolidator Grant
