Bernd Finkbeiner

Full Professor, CISPA, saarland university, saarland informatics campus

Full Professor, Saarland University

  • Joined May 2021

Names

Bernd Finkbeiner (Preferred)

Emails

****@cispa.saarland (Confirmed)

Personal Links

Career & Education History

Full Professor
CISPA, saarland university, saarland informatics campus (cispa.saarland)
2020 – Present
 
Full Professor
Saarland University (uni-saarland.de)
2002 – Present
 

Advisors, Relations & Conflicts

No relations added

Expertise

symbolic ai
2020 – Present
 
formal methods, verification, synthesis
1995 – Present