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
Publications
Co-Authors
- Adam Walker
- Adrien Pommellet
- Alexander K. Petrenko
- Alexandre Duret-Lutz
- Anca Browne
- Andreas Podelski
- Andrey Kupriyanov
- Angelina Göbl
- Anne-Kathrin Schmuck
- Arijit Shaw
- Arthur Correnson
- Astrid Rakow
- Ayrat Khalimov
- Ben D'Angelo
- Borzoo Bonakdarpour
- Carsten Gerstacker
- Charly Delfosse
- Christel Baier
- Christian Müller
- Christoph Torens
- Christopher Hahn
- Clara Rubeck
- Clément Tamines
- César Sánchez
- David Carral