Carnegie Mellon University

Fraser Brown

Dr. Fraser Brown

Assistant Professor

5000 Forbes Avenue
Pittsburgh, PA 15213


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.