Senior Research Scientist (SRS)
Jet Propulsion Laboratory
Laboratory for Reliable Software
My JPL website.
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)
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.
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