spacer spacer
spacer spacer
spacer
  Home
spacer
  Research
spacer
  Papers
spacer
  Future events
spacer
  Event organization
spacer
  Invited presentations
spacer
  Program committees
spacer
  Contact me
spacer
  spacer

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, 2015, Pasadena, California





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








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
 
gipoco.com is neither affiliated with the authors of this page nor responsible for its contents. This is a safe-cache copy of the original web site.