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

===> New! Special Issue on TESTS AND PROOFS of the Journal of Automated Reasoning <===

• The KeY project is concerned with Integrating Object Oriented Design and Formal Verification.
  In collaboration with Bernhard Beckert at University of Koblenz and Peter Schmitt at University of Karlsruhe

  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)

  
  
  

• Mobius: Mobility, Ubiquity and Security, an Integrated Project launched under the FET Global Computing Proactive Initiative and supported by the European Commission through the 6th Framework program.
  
  
• Cedes: Cost efficient dependable electronic systems, a project within IVSS (Intelligent Vehicle Safety Systems) research programme.
  
  
• COST Action IC0701: Formal Verification of Object-Oriented Software.
  

Publications

• Invited Talk at Software Technologies Concertation on Formal Methods for Components and Objects (FMCO), Sophia-Antipolis, France, October 2008
  
  
• PC-member of TABLEAUX: Automated Reasoning with Analytic Tableaux and Related Methods, Oslo, July 2009
  
  
• PC-member of 22nd Conference on Automated Deduction (CADE), Montreal, August 2009
  
  
• PC-member of TPHOLs, Munich, August 2009
  
  
• Co-organizer of Dagstuhl Seminar 09411: Interaction versus Automation: The two Faces of Deduction, 4-10 Oct 2009
  
  
• PC co-chair of International Joint Conference on Automated Reasoning (IJCAR), held as part of Federated Logic Conferences (FLoC), Edinburgh, UK, July 2010
  
  

• 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



• I am in the editorial board of the journal Multiple-Valued Logic and Soft Computing, OCP Science
  
  
• Trustee and Vice-President of Conference on Automated Deducation (CADE), Inc.
  
  

Teaching (current/future)

• Program Verification; 2nd term, Winter 2008, TDA566/DIT082
  
  
• Software Engineering using Formal Methods; 1st term, Winter 2008, TDA292
  
  

Teaching (earlier courses)

• Program Verification; 2nd term, Winter 2007, TDA565
  
  
• Software Engineering using Formal Methods; 3rd term, Spring 2003/04/05/06/07 INN170/TIN291
  
  
• Artificial Intelligence; 4th term, Spring 2000/01/02/03/04/05/06/07, INN410/TIN170
  
  
• Graduate Course on Automated Theorem Proving; Winter 2004/05
  
  
• Programmering för Naturvetare, del 2 (Introduction to Programming in Java), INN010, 2001
  
  
• Project Course IT 2; 4th term, Spring 2003, TDA410
  
  

Interests:

• The KeY project: integrating object-oriented software design with formal specification and verification
• Formal Methods
• Tableau-Based Automated Theorem Proving
• A tool for authoring of informal and formal software requirements specifications
• Many-Valued Logic

More info on me: Send e-mail to reiner "at" cs.chalmers.se and ask for my CV.

I am proud to work with my PhD students:

Niklas Sörensson, and Angela Wallenburg at Division of Computing Science of Chalmers University of Technology.

Former PhD students:

Daniel Larsson (Licenciate 2006).

Tobias Gedell (Licenciate 2006).

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.

Home pages of some other people I work with:

The KeY project is lead by Bernhard Beckert, Peter Schmitt, and myself.

Together with Kristofer Johannisson and Aarne Ranta I work on authoring of informal and formal software requirements specifications.