Future events

  Event organization

  Invited presentations

  Program committees

  Contact me



This website clearly needs a serious revamp. Stay tuned.

Klaus Havelund

Senior Research Scientist (SRS)

Jet Propulsion Laboratory
Laboratory for Reliable Software
Affiliated with NASA Formal Methods

JPL is a NASA field center.
JPL is a Federally Funded Research and Development Center (FFRDC).
JPL is managed by California Institute of Technology (Caltech).
JPL on the wikipedia.

My JPL website.
My CV.

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

On the editorial board for FoMaC Transactions on Foundations for Mastering Change.

NFM 2017
The 9th NASA Formal Methods Symposium
May 16-18, 2017, NASA Ames Research Center, Moffett Field, CA, USA

SPIN 2017
The 24th International SPIN Symposium on Model Checking of Software
July 13-14, 2017, Santa Barbara, California, USA

RV 2017
The 17th International Conference on Runtime Verification.
September 13-16, 2017, Seattle, Washington, USA

A language for modeling and programming: K. Created in an effort to provide a textual language for SysML, and inspired by formal specification languages such as Z and VDM. Supported by SMT. Try the online K editor.
The LogFire tool (described in this paper) won the offline track (log analysis) of CRV-2015, The 2nd International Competition on Runtime Verification. Held in connection with RV'15, The 15th International Conference on Runtime Verification, September 22 - September 25, 2015 Vienna, Austria.
The paper Model checking programs, Willem Visser, Klaus Havelund, Guilleume Brat, and SeungJoon park, published at ASE 2000, 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


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.

Free website templates