SHORT BIO:
Reiner Hähnle is Professor in Software Engineering at the Computer Science Department of TU Darmstadt. He has wide-ranging interests in the formal foundations of software design, programming languages, and quality assurance by verification. He is co-initiator of the KeY project that maintains the well-known, eponymous Java verification tool, and he is co-designer of the active object language ABS. Moreover, he is co-founder of the Tableaux and IJCAR conference series and currently SC Chair of FASE.
Notably, he was the first ever Wine Chair of an international Computer Science conference at ECOOP 2014.
