ETAPS 2019
Sat 6 - Thu 11 April 2019 Prague, Czech Republic
Holger Hermanns

Not registered as user yet

Name:Holger Hermanns
Bio:

Holger Hermanns is a full professor in computer science at Saarland University in Germany, heading the Dependable Systems and Software group. 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. Holger Hermanns is elected member of Academia Europaea. In 2016 he got awarded an ERC Advanced Grant.

Country:Germany
Affiliation:Saarland University

Contributions

CREST 2019 Towards a Science of Perspicuous Computing - Lessons learnt from the Analysis of Automotive Emissions Control Systems
Committee Member in Invited Speakers within the CREST-track
ETAPS 2019 Committee Member in Executive Board
ETAPS Steering committee meeting
Panel Discussion: Moore's Law, and More? (TACAS 25th anniversary)
TACAS 2019 Committee Member in Program Committee within the TACAS 2019-track
Committee Member in Steering Committee within the TACAS 2019-track
Session Chair of Symbolic Verification (part of TACAS 2019)
Show activities from other conferences

ETAPS 2019-profile
View general profile