I am a graduate student at the University of Washington, in the Programming Languages and Software Engineering group.
My work is primarily in formal verification of compilers.
My first project in grad school was Peek, a verified peephole optimizer.
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 go here
In order to reach me, simply send me an email at: email@example.com.