HOLGER HERMANNS



ha-index: 92


Holger Hermanns ist Professor für Informatik an der Universität des Saarlandes in Deutschland. Er leitet dort die Gruppe für Verlässliche Systeme und Software.

 

Von April 2004 bis März 2006 war Holger Hermanns Studiendekan der Fakultät für Mathematik und Informatik, und von April 2010 bis März 2012 deren Dekan. Seitdem versucht er sich als Dekan der Herzen. Ein zu kurzer CV ist hier.


Einige Vorschläge


 

Wie wärs mit einem Blick in seinen eingeladenen Vortrag vor Kurzem bei der European Control Conference 2013?

 

Oder den Keynote beim LIG - Laboratoire d’Informatique de Grenoble?

Oder den eingeladenen Vortrag auf der Concur 2010?

 

Oder in die Vorlesungsreihe in Marktoberdorf 2010? Oder in die von Copenhagen 2012?

 

Oder vielleicht dieser aktuelle Artikel in CACM?

 

Hier ist Hintergrundmaterial zu seinem eingeladenen TACAS Vortrag Quantitative Models for a Not So Dumb Grid bei ETAPS 2012.

 

Kaufen Sie dieses Buch! Ein tolles Geschenk für jede Gelegenheit (ausser Sie lesen es selbst).

 

Andere tolle Geschenke sind unter anderem dies, dies, dies, dies und dies. Und noch eins.


Aktuelle Professionelle Aktivitäten

ETAPS e.V. (stellvertretender Vorsitzender)
Academia Europaea (elected member)
Smart Grid (editorial advisory board)
ETAPS (steering committee)
TACAS (steering committee)
QEST (steering committee)
ATVA 2015 (program committee)
FSEN 2015 (program committee)
SETTA 2015 (program committee)
ACSD 2015 (program committee)
TACAS 2015 (program committee)
QAPL 2015 (invited speaker)
Embedded Conference Scandinavia 2014 (keynote speaker)
NWPT 2014 (invited speaker)
MOVEP 2014 (invited tutorial)
1st EATCS Young Researchers School 2014 (invited tutorial)
QEST 2014 (program committee)
CSL-LICS 2014 (program committee)
FOSSACS 2014 (program committee)
QAPL 2014 (program committee)
Modellierung 2014 (program committee)
MMB-DFT 2014 (program committee)
AMPECS 2013 (program comittee)
DCM 2013 (program committee)
DCDS 2013 (program comittee)
CONCUR 2013 (program committee)
QAPL 2013 (program committee)
ACSD 2013 (program committee)
ECC 2013 (invited speaker, semi-plenary)
FSEN 2013 (keynote speaker)
LCCC Workshop 2013 (invited speaker)
HSCC 2013 (program committee)
ESOP 2013 (program committee)
QEST 2012 (program committee co-chair)
FORMATS 2012 (program committee)
SEBUA 12 (keynote speaker)
MCS 12 (invited tutorial)
MEMICS 2012 (program committee)
CompSust 2012 (keynote speaker)
Energieinformatik 2012 (invited speaker)
FMICS 2012 (program comittee)
AVoCS 2012 (program committee)
TACAS 2012 (invited speaker)
Winter School QMC 2012 (invited tutorial)
FESCA 2012 (program committee)
HAS 2012 (keynote speaker)
HSCC 2012 (program committee)
MMB/DFT 2012 (program committee)
Modellierung 2012 (program committee)
FIT 2012 (program committee)
FSTTCS 2011 (program committee)
SEFM 2011 (keynote speaker)
SmartCoDe-ECW 2011 (invited speaker)
ATVA 2011 (program committee)
FORMATS 2011 (program committee)
FESCA 2011 (program committee)
DCDS 2011 (program committee)
HSCC 2011 (program committee)
ETAPS 2011 (organisation committee chair)
Multi-Core Memory Models and Concurrency Theory (co-organiser)
CONCUR 2010 (invited speaker)
Marktoberdorf 2010 (invited lecturer)
DSN 2010 (program committee)
SSS 2010 (program comittee)
CAV 2010 (program committee)
FMICS 2010 (program comittee)
NSMC 2010 (program committee)
QEST 2010 (program committee)
QUOVADIS 2010 (program committee)
FESCA 2010 (program committee)
MMB/DFT 2010 (program committee)
Verification over Discrete-Continuous Boundaries (co-organiser)
SOFSEM 2010 (program committee)
QFM 2009 (keynote speaker)
FMWS 2009 (program committee)
CONCUR 2009 (program committee)
FMICS 2009 (program committee)
QEST 2009 (program committee)
DATE 2009 (program committee)
CAV 2008 (program committee)
FIT 2008 (program committee)
MMB 2008 (program committee)
CAV 2007 (program committee co-chair)
TeaConc 2007 (program committee)
TACAS 2007 (program committee)
EMSOFT 2006 (program committee)
FORMATS 2006 (program committee)
CONCUR 2006 (program committee co-chair)
QEST 2006 (program committee)
TACAS 2006 (program committee co-chair)
MMB 2006 (progam committee)
DEPCOS 2006 (progam committee)
ISAS 2006 (program committee)
FIT 2005 (program committee co-chair)
FORTE 2005 (program committee)
HASE 2005 (program committee)
TACAS 2005 (program committee)
QEST 2005 (program committee)
EPEW 2005 (program committee)
FORTE 2004 (program committee)
CSDUML 2004 (program committee)
EPEW 2004 (program committee)
QEST 2006-2009 (steering committee)

Die meisten der Publikationen von Holger Hermanns finden Sie auf DBLP oder Google scholar.


Kontakt

Adresse: Universität des Saarlandes 
 FR Informatik 
 Campus, Saarbrücken 
 Geb. E1 3, Room 501 
 66123 Saarbrücken 
Tel: +49 681 302 5631 
Fax: +49 681 302 5636 
eMail: