Carnegie Mellon University

Fraser Brown

Dr. Fraser Brown

Assistant Professor

Address
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.