I currently work for Google, on the Asylo project.
I graduated from the University of Washington, in the Programming Languages and Software Engineering group in 2018. I was (and still am) advised by Zachary Tatlock and Dan Grossman. I joined the group in Fall 2012.
I care deeply about software correctness. Specifically, I believe that the best path forwards towards software which we can trust and rely on involves building real, formally verified software infrastructure. This belief informs and drives my work. My first project in grad school was Peek, a verified peephole optimizer for CompCert. My current research is the Oeuf project, a verified extraction mechanism for Coq.
I have a rather unusual diet due to an overgrowth of bacteria in my small intestine, or SIBO. For more details on what I eat go here
In order to reach me, simply send me an email at: firstname.lastname@example.org.