I am a software engineer. I design, write, and test software. I also try to understand how to guarantee specific properties of software, particularly those that support security and reliability.
For the past decade I have primarily been supporting BBN Technologies doing DARPA-sponsored research on strengthening the resistance of computer systems to malicious attack. I have participated in the following projects and was Principal Investigator for the fourth:
You can read my resume. You can also download freeware and papers that I've written.
I live in Ithaca, New York, USA. My personal life centers on raising two children:
Here are some photos of me and of places I've traveled, and some opinions I've not seen or heard expressed elsewhere.
Last modified 2010-06-12.