ha-index: 92

Holger Hermanns is Professor of Computer Science at Saarland University in Germany, heading the Dependable Systems and Software group, member of Academia Europaea, and spokesperson of the Center for Perspicuous Computing, SFB TRR 248. The European Research Council has awarded him the ERC Advanced Grant POWVER and the ERC Proof-of-Concept Grant LEOpowver.

From April 2004 to March 2006, Holger Hermanns has served as Dean of Studies of the Faculty of Mathematics and Computer Science, and has served as its Dean from April 2010 to March 2012. Afterwards he did his best to serve as Dean of Hearts. A too brief CV is here.

Some Suggestions

Buy this book. A great gift for every occasion (unless you read it yourself). Other great gifts include this, this, this, this, this, and this. And yet another one.

Recent and Upcoming Programme Committees

• 2024: Bridge-XT TACAS ADHS ExEn FMICS
• 2023: FM QEST RE4ES
• 2022: MEMOCODE TACAS RE4ES
• 2021: ADHS MEMOCODE STINT TACAS
• 2020: TACAS MMB STINT CSD&M GraMSec
• 2019: TACAS GANDALF CyPhy
• 2018: TACAS ADHS CREST MARS FORMATS
• 2017: TACAS FSEN MARS
• 2016: ACSD Modellierung SETTA SynCoP iFM MMB TACAS AAAI
• 2015: MARS Highlights ATVA FSEN SETTA ACSD TACAS
• 2014: QEST LICS FOSSACS QAPL Modellierung MMB-DFT
• 2013: AMPECS DCM DCDS HSCC CONCUR QAPL ACSD ESOP
• 2012: FORMATS MEMICS AVoCS FESCA HSCC MMB/DFT Modellierung FIT
• 2011: FSTTCS ATVA FORMATS FESCA DCDS HSCC
• 2010: DSN SSS CAV FMICS NSMC QEST QUOVADIS FESCA SOFSEM MMB/DFT
• 2009: FMWS CONCUR FMICS QEST DATE
• 2008: CAV FIT MMB
• 2007: TeaConc TACAS
• 2006: EMSOFT FORMATS QEST MMB DEPCOS ISAS
• 2005: FORTE HASE TACAS QEST EPEW
• 2004: FORTE CSDUML EPEW

Other Professional Activities

• Dagstuhl Foundation (board of trustees)
• Academia Europaea (member, elected 2013)
• LICS (steering committee, 2020-2023)
• Friends of Dagstuhl (president, 2013-2023)
• ETAPS association (vice president, 2011-2023)
• ETAPS (steering committee, 2010-2023)
• ICALP (steering committee, 2020-2022)
• TACAS (steering committee since 2015)
• 2024: SPIN (invited speaker) Bridge-XT (program committee co-chair)
• 2023: SETTA (program committee co-chair)
• 2021: RV(keynote speaker)
• 2020: LICS (conference chair) ICALP (conference chair) MMB (program committee chair) DISCOTEC (keynote speaker) SETTA (keynote speaker)
• 2019: FMICS (keynote speaker) Reasoning Web (invited lecturer) Marktoberdorf (invited lecturer) Vernetzungstreffen Dagstuhl (keynote speaker) CREST (invited speaker)
• 2018: LPAR (invited speaker) BSR (invited lecturer) SSFM (invited lecturer) Model-Ed, Test-Ed, Trust-Ed (invited speaker) KIMfest (invited speaker) GANDALF (invited speaker)
• 2017: MARS (program committee co-chair)
• 2016: FSTTCS (invited speaker) TQCV (invited speaker)
• 2015: Energieinformatik (invited speaker) ELLIIT (keynote speaker) QAPL (invited speaker)
• 2014: Embedded Conference Scandinavia (keynote speaker) NWPT (invited speaker) MOVEP (invited tutorial) 1st EATCS Young Researchers School (invited tutorial)
• 2013: ECC (invited speaker) FSEN (keynote speaker) LCCC Workshop (invited speaker)
• 2012: QEST (program committee co-chair) SEBUA (keynote speaker) MCS (invited tutorial) CompSust (keynote speaker) Energieinformatik (invited speaker) ETAPS (TACAS invited speaker) Winter School QMC (invited tutorial) HAS (keynote speaker)
• 2011: SEFM (keynote speaker) SmartCoDe-ECW (invited speaker) ETAPS (organisation committee chair) Multi-Core Memory Models and Concurrency Theory (co-organiser) CONCUR (invited speaker) AVACS Spring School (invited tutorial) Marktoberdorf (invited lecturer)
• 2010: Verification over Discrete-Continuous Boundaries (co-organiser)
• 2009: QFM (keynote speaker)
• 2007: CAV (program committee co-chair)
• 2006: CONCUR (program committee co-chair) TACAS (program committee co-chair)
• 2005: FIT (program committee co-chair) FORTE (program committee)
• QEST (steering committee 2006-2009 and 2012-2015)

Most of his publications are listed on DBLP or Google scholar.

Contact