Fraser Brown

简介

My research is at the intersection of systems, programming languages, and security. Right now, I'm very interested in compilation: recent projects include verified pieces of browser just-in-time compilers and compilation infrastructure for cryptographic applications. I also like finding bugs in real systems.