Holger Hermanns (Preferred)
Holger Hermanns
Full Professor, Mathematics and Computer Science, Saarland University, Universität des Saarlandes
Joined
July 2024
Names
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
Expertise
Model Checking
1993 – Present
Publications
No publications