Dr. Fraser Brown

Biography

Fraser Brown is an Assistant Professor in the Software Societal Systems Department at Carnegie Mellon University. His research lies at the intersection of systems, programming languages, and security, with a focus on program correctness for security applications. He develops techniques and tools for finding bugs in large, security-critical systems such as web browsers, and for verifying pieces of production systems. Dr. Brown's recent work concentrates on compiler correctness, compilation in new domains, and the verification of browser just-in-time (JIT) compilers as well as compilation infrastructure for cryptographic applications. Notable projects include the development of the Icarus framework for trustworthy JIT compilers and research on verification techniques for WebAssembly. Prior to joining CMU, Dr. Brown completed his Ph.D. in Computer Science at Stanford University, where he was advised by Dawson Engler and collaborated with researchers at UC San Diego. He also holds a Bachelor's degree in English Literature from Stanford University, advised by Elaine Treharne.

Research Interests