Computer Science

• Formal Software Verification - I studied model checking and formal software verification for my M.Sc. degree and would like to return for a Ph.D. some day soon. Ideally I would return to the Oxford University Computing Laboratory.

• FreeBSD - I am a significant contributor to the FreeBSD Project. I was co-editor of the 2nd and 3rd Edition FreeBSD Handbook, and I was the primary release engineer for FreeBSD releases 4.5 through 4.9. I have been an elected member of the FreeBSD core team since 2002. For information about my FreeBSD-related activities, please see my FreeBSD web page.

Math

I graduated from California State University with a Bachelor of Science in Mathematics and Computer Science (double major) and a Master of Science in Pure Mathematics. I also completed a Master of Science in Mathematics and the Foundations of Computer Science from the Mathematics Institute at Oxford University (Wadham College). My thesis was in the area of Formal Software Verification systems.

Travel

Places I've Visited

Travelling is one of my favorite recreational activities, particularly when it involves hiking or otherwise enjoying the outdoors.