Welcome to Reiner Hähnle's webpage!

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

I lead the research group "Software Engineering".

My contact details are here.

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

  • IJCAR - International Joint Conference on Automated Reasoning, Coimbra, Portugal, June/July 2016 (member of PC)
  • TAP - 10th International Conference on Tests and Proofs, Vienna, Austria, July 2016 (member of PC)
  • ECOOP - 30th European Conference on Object-Oriented Programming, Rome, Italy, July 2016 (member of extended PC)
  • ESOCC - 5th European Conference on Service-Oriented and Cloud Computing, Vienna, Austria, September 2016 (member of PC)
  • WST - International Workshop on Termination, Obergurgl, Austria, September 2016 (invited talk)
  • ISoLA - 7th International Symposium On Leveraging Applications of Formal Methods, Verification and Validation, Heraclion, Crete, Greece, October 2016 (keynote, track organizer)

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

Software Engineering Group


Technische Universität Darmstadt
Fachbereich Informatik
Fachgebiet Software Engineering
Hochschulstr. 10
64289 Darmstadt

Gebäude S2|02, Räume  A204, A223

Tel:+49 6151 16-21361 (Sekretariat) 

Fax:+49 6151 16-22361

A A A | Drucken Print | Impressum Impressum | Sitemap Sitemap | Suche Search | Kontakt Contact | Webseitenanalyse: Mehr Informationen
zum Seitenanfangzum Seitenanfang