This website clearly needs a serious revamp. Stay tuned.
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
JPL is managed by
California Institute of Technology
JPL on the wikipedia.
My JPL website.
Member of IFIP
Member of the Association for Computing Machinery (ACM).
On the editorial board for
Transactions on Foundations for Mastering Change.
The 9th NASA Formal Methods Symposium
May 16-18, 2017, NASA Ames Research Center, Moffett Field, CA, USA
The 24th International SPIN Symposium on Model Checking of Software
July 13-14, 2017, Santa Barbara, California, USA
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
The LogFire tool (described in this
won the offline track (log analysis) of
The 2nd International Competition on Runtime Verification.
Held in connection with
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)
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