Holger Hermanns

Full Professor, Mathematics and Computer Science, Saarland University, Universität des Saarlandes

  • Joined July 2024

Names

Holger Hermanns (Preferred)

Emails

****@cs.uni-saarland.de (Confirmed)

Personal Links

Career & Education History

Full Professor
Mathematics and Computer Science, Saarland University, Universität des Saarlandes (cs.uni-saarland.de)
2023 – Present
 

Advisors, Relations & Conflicts

No relations added

Expertise

Model Checking
1993 – Present