I am a graduate student in computer science at U.C. Berkeley, advised by David Wagner. I graduated in 2004 from Harvey Mudd College.
My research is on enabling programmers to write secure software and reason about its correctness and safety properties. Current work includes the Joe-E subset of Java for capability-secure programming.
I was formerly the organizer of the computer security reading group, which is now in the capable hands of Cynthia Sturton.
