Holger Hermanns#


Holger Hermanns
Email:hermanns 'at' cs.uni-saarland.de
Membership Number:3666
Membership type:ORDINARY
Main Country of Residence:GERMANY
Section:INFORMATICS
Username:hhermanns
Elected:2013
Homepage: 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

Imprint Privacy policy « This page (revision-11) was last updated on Wednesday, 25. May 2016, 14:42 by Hermanns Holger
  • operated by