Dr. Fraser Brown
Assistant Professor
Contact
5000 Forbes Avenue
Pittsburgh, PA 15213
5000 Forbes Avenue
Pittsburgh, PA 15213
Bio
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.