Generate a tailored SOP for Dr. Fraser Brown. Improve your application with a focused, well-structured draft.
I am especially interested in security program correctness. For example, I have worked on tools for finding bugs in large, security-critical systems like web browsers, and verifying (small) pieces of production systems. Currently, I am focused on compiler correctness and compilation in new domains.
Admission is extremely competitive with no strict GPA cut-offs; holistic review is used.