!!!Holger Hermanns \\ %%(float:left;margin-left:20px;margin-right:30px;) [{Image src='hermanns_holger.jpg' alt='Holger Hermanns' height='200'}] %% [{AcadMemberDataPlugin}] \\ \\ \\ \\ \\ \\ __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__ [{AcadMemberFOScholarshipPlugin}] \\ __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 \\ %%columns-900 %%coolborders-140-70 [{Image src='User/paper_content_pencil_48.png' width='48px' class='image_left'}] [Curriculum Vitae |User/Hermanns_Holger/CV] %% ---- %%coolborders-140-70 [{Image src='User/book_48.png' class='image_left'}] [Publication list|User/Hermanns_Holger/Publications] %% ---- %%coolborders-140-70 [{Image src='User/camera_noflash_48.png' width='48px' class='image_left'}] [Highlights of my work and anecdotes|User/Hermanns_Holger/Highlight] %% ---- %%coolborders-140-70 [{Image src='User/database_48.png' class='image_left'}] [Other information|User/Hermanns_Holger/OtherInformation] %% %% [{ALLOW view All}][{ALLOW edit hhermanns}][{ALLOW upload hhermanns}][{ALLOW comment All}]