I am a graduate student at the University of Washington, in the Programming Languages and Software Engineering group. While our group has many broad interests, from 3D printers to computer vision, I work in compiler verification.
My first successful project in grad school was Peek, a verified peephole optimizer.
My current research is mainly 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: firstname.lastname@example.org.