Welcome to Reiner Hähnle's Home Page

I am a professor at the Division of Computing Science of Chalmers University of Technology. I am also Vice-Prefect for Post-Graduate Studies of the Department of Computer Science and Engineering.

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*cs.chalmers.se.

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

  We are looking for students who want to do a Masters Thesis/exjobb in this project.
  

Publications

• 3rd International Verification Workshop (VERIFY'06), Seattle, August 2006
  
  
• Sixth European Dependable Computing Conference, Coimbra, October 2006
  
  
• Member of the Steering Committee of the TABLEAUX conference series, Past President of Tableaux 2000-2003
  
  
• Member of the Steering Committee of the International Joint Conference on Automated Reasoning (IJCAR)
  
  
• Trustee of Federated Logic Conferences, FLoC Inc.
  
  
• Trustee and Vice-President of Conference on Automated Deducation (CADE), Inc.
  
  
• I am in 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

Teaching:

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

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:

Tobias Gedell, Daniel Larsson, Niklas Sörensson, Angela Wallenburg, and Dennis Walter at Division of Computing Science of Chalmers University of Technology.

Former PhD students:

Wolfgang Ahrendt (2001) is a Lecturer and my colleague here at Chalmers.

Thomas Baar (2002) is a senior researcher at Swiss Federal Institute of Technology in Lausanne (EPFL).

Martin Giese (2002) is a postdoctoral fellow at University of Linz, Austria.

Wojciech Mostowski (2005) is a postdoctoral fellow at University of Nijmegen.

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.