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

Publications

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

Research Interests

Current:

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

Past:

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

Upcoming Conferences, Workshops, and Summer Schools

  •  ISoLA - 6th International Symposium On Leveraging Applications of Formal Methods, Verification and Validation, Corfu, Greece, October 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
  •  CADE - Conference on Automated Deduction, CADE-25 in Berlin, Germany, August 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.

Alumni

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