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.
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.