Holger Hermanns#
| Membership Number: | 3666 |
| Membership type: | ORDINARY |
| Section: | INFORMATICS |
| Elected: | 2013 |
| Main Country of Residence: | GERMANY |
| Homepage(s): | http://d.cs.uni-saarland.de/hermanns |
Present and Previous Positions
- 2010 - 2012 Dean, Faculty of Mathematics and Computer Science, Universität des Saarlandes
- 2007 - 2010 Invited Professor, INRIA Rhône-Alpes, Grenoble, France. Part-time
- 2004 - 2006 Dean of Studies, Faculty of Mathematics and Computer Science, Universität des Saarlandes
- 2003 - present Professor, Chair for Dependable Systems and Software, Faculty of Mathematics and Computer Science, Universität des Saarlandes
- 2001 - 2006 Associate Professor, Faculty of Computer Science, Universiteit Twente. 2003-2006 Part-time
- 1998 - 2001 Researcher in Computer Science, Formal Methods and Tools Group, Faculty of Computer Science, Universiteit Twente
- 1993 - 1998 Research associate, Institut für Mathematische Maschinen und Datenverarbeitung, Universität Erlangen-Nürnberg
Fields of Scholarship
- Dependable, reliable, and secure computing
- Stochastic behavioural modelling and verification
- Concurrency theory
- Energy informatics
Honours and Awards
- 2016 ERC Advanced Investigators Grant
- 2013 "Preis des Fakultätentages Informatik" awarded by the association of computer science faculties of German universities
- 2013 Member of Academia Europaea
- 2013 Otto Mønsted-Guest Professorship at Danmarks Tekniske Universitet, Copenhagen, Denmark
- 2001 Vernieuwingsimpuls awarded by the Dutch Minister of Education, Culture and Science, the Netherlands Organisation for Scientific Research NWO, and the Royal Netherlands Academy of Arts and Science KNAW
