ETAPS 2019
Sat 6 - Thu 11 April 2019 Prague, Czech Republic
Reiner Hähnle

Registered user since Sat 27 Feb 2016

Name:Reiner Hähnle
Bio:

I am Professor of Computer Science at TU Darmstadt, Germany. I received a PhD from University of Karlsruhe (now KIT) and a Habilitation from TU Vienna. From 2000 to 2011 I worked as an Associate, then Full Professor at Chalmers University of Technology.

Country:Germany
Affiliation:Technical University of Darmstadt
Research interests:Formal methods in Software Engineering, modeling languages

Contributions

FASE 2019 Co-chair in Program Committee within the FASE 2019-track
Session Chair of Specification, Design, and Implementation of Particular Classes of Systems (part of FASE 2019)
ETAPS 2019 Committee Member in Steering Committee
Committee Member in Steering Committee
ETAPS Steering committee meeting
Show activities from other conferences

ETAPS 2019-profile
View general profile