ETAPS 2019 (series) / Reiner Hähnle
![Reiner Hähnle](https://conf.researchr.org/getProfileImage/reinerhahnle/1df09109-9fd5-4137-845f-6d9231e23dc0/small.jpg?1711475353000)
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
ETAPS 2019-profile
View general profile
View general profile