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

Personal website: https://www.informatik.tu-darmstadt.de/se/gruppenmitglieder/groupmembers_detailseite_30784.en.jsp

Research interests: Formal methods in Software Engineering, modeling languages

Contributions

FASE 2019Co-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 2019Committee Member in Steering Committee
Committee Member in Steering Committee
Author of ETAPS Steering committee meeting within the Social-track
Show activities from other conferences

ETAPS 2019-profile
View general profile