Fraser Brown is the Co-Founder and CTO at Cubist. He is also an Assistant Professor at Carnegie Mellon University's School of Computer Science (Software and Societal Systems Department). His research focuses on security and program correctness, from verifying parts of production systems to automatically finding exploitable bugs in real codebases. For example, his tools have found many zero-day bountied bugs and CVEs in the popular Chrome and Firefox browsers.nnFraser also works on compilation. In collaboration with CEO Riad and others, he developed the CirC compiler for cryptographic proof systems. He received his BA in English and MS and PhD in Computer Science from Stanford, where he was supported by an NSF Graduate Research Fellowship.