Reiner Hähnle

Photo Reiner Haehnle

Prof. Dr. rer. nat. Reiner Hähnle

+49 6151 16-21361 (Sekretariat)
+49 6151 16-22361

Hochschulstraße 10
64289 Darmstadt

Raum: S2|02 A204

Mehr Informationen

I am a professor at the Computer Science Department of TU Darmstadt.

I lead the research group „Software Engineering“.

Internships and PhD positions: please read this


See the list of my publications and also DBLP and Google Scholar.

Research Interests


generally, Formal Methods in Software Engineering – specifically I am involved in the following projects:

  • Formal verification of object-oriented software, see KeY project
  • Formal modeling and specification of highly adaptive software systems: I am one of the designers of the concurrent abstract behavioral modeling language ABS
  • Formal specification and compliance validation of cloud software, see EC FP7 project Envisage
  • Automated Test Case Generation by Symbolic Execution, see KeY-Test
  • Debugging and Program Understanding by Visualization of Symbolic Execution, see Symbolic Execution Debugger
  • Formal modeling and analysis of complex genetic circuits in biological systems: LOEWE project CompuGene
  • Formal modeling and analysis of railroad operations: project FormbaR with Deutsche Bahn Netz AG as part of the TU Darmstadt-Deutsche Bahn AG Innovation Alliance


  • Automated Theorem Proving, mainly TABLEAUX methods
  • Formal Reasoning in Many-Valued Logic

Upcoming Conferences, Workshops, and Summer Schools

  • CPP – ACM-SIGPLAN Conference on Certified Programs and Proofs, Paris, France, January 2017, (member of PC)
  • LPAR – 21st International Conference on Logic for Programming, Artificial Intelligence and Reasoning, Maun, Botswana, May 2017 (member of PC)
  • British Computer Society (BCS), Formal Methods Europe (FME) meeting, London, UK, May 2017 (keynote speaker)
  • Dagstuhl Seminar 17291: Resource Bound Analysis, July 2017 (invited speaker)
  • TAP – 11th International Conference on Tests and Proofs, Marburg, Germany, July 2017 (invited speaker)
  • CADE – 26th International Conference on Automated Deduction, Gothenburg, Sweden, August 2017 (member of PC)
  • iFM – 13th International Conference on integrated Formal Methods, Turin, Italy, September 2017 (member of PC, Wine Chair)
  • Dagstuhl Seminar 17371: Deduction Beyond First-Order Logic, September 2017 (invited speaker)
  • TABLEAUX – 26th International Conference on Automated Reasoning with Analytic Tableaux and Related Methods, Brasilia, Brazil, September 2017 (invited speaker)

Editorial Board and Steering Committees

  • I am on the editorial board of the Journal of Automated Reasoning published by Springer-Verlag. The journal solicits contributions on all aspects of mechanized reasoning including all kinds of applications such as verification. Feel free to contact me if you are interested to submit an article.
  • I am on the editorial board of FoLLI Publications on Logic, Language, and Information, a subseries of Springer LNAI
  • I am on the editorial board of FoMaC, LNCS Transactions on Foundations for Mastering Change, a journal published by Springer-Verlag.

Supervised PhD Students

zur Liste