Home

  Research

  Papers

  Future events

  Event organization

  Invited presentations

  Program committees

  Contact me

 

www.havelund.com



Klaus Havelund

Senior Research Scientist (SRS)
Jet Propulsion Laboratory
Laboratory for Reliable Software



My JPL website.


My CV.



NFM 2015
The 7th NASA Formal Methods Symposium
April 27-29, Pasadena, California
Submission deadline: November 10, 2014




Our paper Model checking programs, Willem Visser, Klaus Havelund, Guilleume Brat, and SeungJoon park, published at ASE 2000, has won the ASE 2014 Most Influential Paper award.



Java Coding Standard
A standard for coding in Java, developed for JPL, in a collaboration between JPL (Havelund) and semmle.com.

Earlier version of Java coding standard here


NASA Formal Methods








Member of the Association for Computing Machinery (ACM).
Serves on JPL's SRS (Senior Research Scientist) Council.

Teaching

As Appointed Lecturer in Computer Science at California Institute of Technology, 2008 and 2009:


CS119 Part II : Program Monitoring, 2008
Class given at California Institute of Technology, from April 28 - May 29, 2008.



CS119 Part II : Program Monitoring, 2009
Class given at California Institute of Technology, May, 2009.



JPL on wikipedia

Caltech on wikipedia

Caltech's Computer Science department























Free website templates