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

  • 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
  • FMSPLE - 6th Workshop on Formal Methods and Analysis of in Software Product Line Engineering, London, UK, April 2015
  • FM Europe - 20th Formal Methods Symposium, Oslo, June 2015
  • TAP - 9th International Conference on Tests and Proofs, L'Aquila, Italy, July 2015
  • CADE - Conference on Automated Deduction, CADE-25 in Berlin, Germany, August 2015
  • Tableaux - Automated Reasoning with Analytic Tableaux and Related Methods, Wroclaw, Poland, September 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
  • I am on the editorial board of FoMaC, LNCS Transactions on Foundations for Mastering Change, a journal published by Springer-Verlag.


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