Bernd Finkbeiner (Preferred)
Bernd Finkbeiner
CISPA, saarland university, saarland informatics campus
Names
Emails
****@cispa.saarland
Personal Links
Education & Career 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
Expertise
symbolic ai
2020 – Present
formal methods, verification, synthesis
1995 – Present