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

FormaliSE 2022 Session Chair of Session 3 (part of FormaliSE 2022)
Author of Automatic Loop Invariant Generation for Data Dependence Analysis within the FormaliSE 2022-track
GPCE 2021 Author of Delta-based Verification of Software Product Families within the GPCE-track
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
Author of ETAPS Steering committee meeting within the Social-track
VORTEX 2018 Author of Analysis of SLA Compliance in the Cloud within the VORTEX-track
Committee Member in Program Committee within the VORTEX-track
CPP 2018 Committee Member in Program Committee within the CPP 2018-track
CPP 2017 Committee Member in Program Committee within the CPP-track
VORTEX 2016 Committee Member in Program Committee within the VORTEX-track
ECOOP 2016 Committee Member in External Review Committee within the Research Track-track
FTfJP 2015 Committee Member in Program committee within the FTfJP-track