Welcome to Reiner Hähnle's webpage!

I am a professor at the Computer Science Department of TU Darmstadt. Currently, I am also  Dean of the Computer Science Department.

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 modelling and specification of highly adaptive software systems: I am one of the designers of the concurrent abstract behavioural modelling 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


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

Upcoming Conferences, Workshops, and Summer Schools

  •  SFM-14:ESM - 14th International School on Formal Methods for the Design of Computer, Communication and Software Systems: Executable Software Models, Bertinoro, June 2014
  •  TAP - 9th International Conference on Tests and Proofs, York, UK, July 2014
  •  ARQNL - International Workshop on Automated Reasoning in Quantified Non-Classical Logics, held as part of Federated Logic Conferences (FLoC), Vienna, Austria (July 2014)
  • ARW-DT - Joint Automated Reasoning Workshop and Deduktionstreffen, held as part of Federated Logic Conferences (FLoC), Vienna, Austria (July 2014)
  •  VERIFY - 8th International Verification Workshop, held as part of Federated Logic Conferences (FLoC), Vienna, Austria (July 2014)
  •  WING - 5th International Workshop on Invariant Generation, held as part of Federated Logic Conferences (FLoC), Vienna, Austria (July 2014)
  • AISC - 12th International Conference on Artificial Intelligence and Symbolic Computation, Seville, Spain, December 2014
  • TACAS - 21st International Conference on Tools and Algorithms for the Construction and Analysis of Systems, London, UK, April 2015

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

    If you would like to suggest a conference proceedings or a monography as part of this series, please contact me.


Software Engineering Group
A A A | Drucken Print | Impressum Impressum | Sitemap Sitemap | Suche Search | Kontakt Contact
zum Seitenanfangzum Seitenanfang