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.
Member of the Association for Computing Machinery (ACM).

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

Member of the External Expert Group for COEMS - Continuous Observation of Embedded Multicore Systems.

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 Monitoring Programs using Rewriting, Klaus Havelund and Grigore Rosu, published at ASE 2001, won the ASE 2016 Most Influential Paper award.
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