Photo Reiner Haehnle

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


work +49 6151 16-22364 (Sekretariat)
fax +49 6151 16-22361

Work S2|02 A204
Hochschulstraße 10
64289 Darmstadt

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

I lead the research group "Software Engineering".

We announce open positions here: Vacancies


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
  • 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
  • The LOEWE project Software-Factory 4.0 (SF4.0) is a 4-year project funded by the German State of Hesse. SF4.0 is concerned with the adaptation of legacy software due to changed requirements and technical advances.


  • Automated Theorem Proving, mainly TABLEAUX methods
  • Formal Reasoning in Many-Valued Logic
  • 22nd International Conference on Logic for Programming, Artificial Intelligence and Reasoning (LPAR), Ethiopia (2018)
  • 22nd International Conference on Fundamental Approaches to Software Engineering (FASE), Prague, Czech Republic (April 2019)
  • 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.
Loading data from TUbiblio…

Error on loading data

An error has occured when loading publications data from TUbiblio. Please try again later.

  • ({{,4) }}):
    {{ publication.title }}.
    In: {{ publication.series }}, {{ publication.volume }}, In: {{ publication.book_title }}, In: {{ publication.publication }}, {{ publication.journal_volume}} ({{ publication.number }}), ppp. {{ publication.pagerange }}, {{ publication.place_of_pub }}, {{ publication.publisher }}, {{ publication.institution }}, {{ publication.event_location }}, {{ publication.event_dates }}, ISSN {{ publication.issn }}, e-ISSN {{ publication.eissn }}, ISBN {{ publication.isbn }}, {{ labels[publication.type]?labels[publication.type]:publication.type }}
  • […]