Dr. Fraser Brown
I'm especially interested in security through program correctness. As examples, I've worked on tools for finding bugs in large, security-critical systems like web browsers, and on verifying (small) pieces of production systems. These days I'm also focused on compiler correctness and compilation for new domains. I have a BA in English and PhD in Computer Science from Stanford.