Carnegie Mellon University
School of Computer Science  ›  Software and Societal Systems Department  ›  People  ›  core-faculty  ›  Fraser Brown

Fraser Brown

Dr. Fraser Brown

Assistant Professor, Software and Societal Systems

  • CIC 2218
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.