Registered user since Sat 27 Feb 2016

Name: Reiner Hähnle

Bio: I am a professor at the Computer Science Department of TU Darmstadt. Currently, I am also Dean of the Computer Science Department. I lead the research group “Software Engineering”.

Country: Germany

Affiliation: TU Darmstadt

Personal website: https://www.se.tu-darmstadt.de/se/group-members/reiner-haehnle/

Research interests: Formal Methods, Software Engineering

Contributions