header by solar.empire

11th International Conference on Tests & Proofs

19-20 July 2017, Marburg, Germany

Keynote Speaker

Reiner Hähnle, TU Darmstadt


Reiner Hähnle received a Diploma and a Ph.D. in Computer Science from University of Karlsruhe and a Habilitation from Technical University of Vienna. From 2000 he was Associate Professor and from 2002 Full Professor of Computer Science at Chalmers University. Since 2011 he holds the Chair of Software Engineering at Technical University Darmstadt. He worked as a guest researcher at ICOT Tokyo, University of Tübingen, University of Turin, and University of Oslo. He authored and edited 180 international, peer-reviewed publications and served on 100 programme committees. Reiner was one of the founders of the Tableaux conference, a founding trustee of FLoC Inc., PC Chair of IJCAR, Tableaux, and TAP, as well as Wine Chair of ECOOP. His research interests include formal analysis and verification of OO languages, executable software models, tool-assisted debugging, test generation. Reiner is founder of the KeY verification system for Java and a co-designer of the executable modeling language ABS.