معرفی
Prof. Holger Hermanns is a Professor of Computer Science at Saarland University since 2003 and currently serves as Scientific Director at Schloss Dagstuhl – Leibniz-Zentrum für Informatik. He holds visiting professorships in Grenoble, Guangzhou, and Copenhagen. His expertise spans formal methods, probabilistic systems, and software engineering, supported by European Research Council (ERC) grants and leadership in the DFG's Collaborative Research Center CPEC (2019). He has secured over €25 million in research funding through collaborative consortia.
Education:
- Studied Computer Science in Germany
- Applied Mathematics in France
- Doctorate from University of Erlangen-Nuremberg (1998)
Research: Focuses on rigorous modeling and analysis of probabilistic systems, with applications in software reliability and engineering. His work bridges theoretical computer science with practical software solutions, informed by interdisciplinary collaborations.
Awards:
- Membership in Academia Europaea (2013)
Grants & Funding: Spearheaded €25M+ in research funding through ERC grants and DFG initiatives, including the transregional Collaborative Research Center CPEC.
Labs/Teams: Leads research activities at Schloss Dagstuhl and coordinates the CPEC consortium, fostering collaboration across institutions.
