Senior Research Scientist (SRS)
Jet Propulsion Laboratory
Laboratory for Reliable Software
My JPL website.
Java Coding Standard
A standard for coding in Java, developed for JPL.
Please send comments if you have suggestions for improvement.
NASA Formal Methods
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