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.
NFM 2015
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)
and semmle.com.
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.
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
|
|