Skip to main content
Carnegie Mellon University

Fraser Brown

Dr. Fraser Brown

Assistant Professor, Software and Societal Systems

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.