Bernd Finkbeiner

CISPA, saarland university, saarland informatics campus

Names

Bernd Finkbeiner (Preferred)

Emails

****@cispa.saarland

Education & Career History

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

Advisors, Relations & Conflicts

No relations added

Expertise

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