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.





Java Coding Standard
A standard for coding in Java, developed for JPL.
Please send comments if you have suggestions for improvement.





NASA Formal Methods









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