Welcome to Reiner Hähnle's Home Page
I am a professor in the Division of Software Engineering and Technology within the Department of Computer Science and Engineering of Chalmers University of Technology.
I lead the research group in Software Engineering using Formal Methods.
I am also Deputy Head of Department
and Pro-Prefect
for Post-Graduate Studies.
You find me in Room 5449 in the EDIT
Building on Chalmers Main Campus in Rännvägen 6B. My office phone
number is +46-31-772-1061. My email address is (replace "*" with "@")
reiner*chalmers.se.
The book on KeY is now available - the definite source for all information related to the KeY project
![]() |
Verification of Object-Oriented Software: The KeY Approach Bernhard Beckert, Reiner Hähnle, Peter H. Schmitt (Eds.) 15 chapters and 2 appendices, xxix + 658 pages ISBN: 3-540-68977-X Springer-Verlag, LNCS 4334 - BibTeX - Book Website - Online edition (Springer LINK) |
Publications , see also DBLP and Google Scholar
Research Interests:
If you would like to suggest a conference proceedings or a monography as part of this series, please contact me
Teaching (current/future)
Teaching (earlier courses)
More info on me: Send e-mail to reiner "at" chalmers.se and ask for my CV.
Current PhD students:
Ran Ji works in the HATS project.
Gabriele Paganelli (co-supervisor) works in the CHARTER project.
Angela Wallenburg (Licenciate 2004).
Former PhD students:
Niklas Sörensson (2008) is now an independant consultant for applications of his world-leading SAT solver MiniSat.
Daniel Larsson (Licenciate 2006) works now at QRtech AB.
Tobias Gedell (Licenciate 2006), (PhD 2008, co-supervisor) works now for an international bank.
Wojciech Mostowski (2005) is a postdoctoral fellow at University of Nijmegen.
Thomas Baar (2002) was a senior researcher at Swiss Federal Institute of Technology in Lausanne (EPFL) until 2007 and now works for Tech@Spree.
Martin Giese (2002) is a postdoctoral fellow at University of Oslo, Norway.
Wolfgang Ahrendt (2001) is a Lecturer and my colleague here at Chalmers.