NASA Logo, National Aeronautics and Space Administration


I am a Computer Scientist with SGT, Inc. at NASA Ames Research Center in Moffett Field, CA.

My primary research interests are in formal verification --- of mathematics, and of software systems --- and the formal foundations of safety cases, which are increasingly being required in many safety-critical domains to assure, using structured argumentation and evidence, that a system is acceptably safe. As a software engineer, I specialize in developing applications using the Eclipse Rich Client Platform and modeling framework, as well as design and development of domain specific languages.

profile picture

NASA Ames Research Center
Computational Sciences Division
Iain Whiteside, Mail Stop 269-2
Bldg. 269, Rm. 239
P.O. Box 1
Moffett Field, CA 94035-0001

Phone: +1 (650) 604-4295

My Website


+ NASA Ames
+ TI Home Page
+ RSE Homepage
+ NASA Home Page

First Gov logo
NASA Logo -