SLE 2021
Sun 17 - Tue 19 October 2021 Chicago, Illinois, United States
co-located with SPLASH 2021
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

GPCE 2021 Delta-based Verification of Software Product Families
Show activities from other conferences

Using general profile