I’m an undergraduate at the University of Washington in Seattle, majoring in Computer Science and Mathematics. As of Autumn 2015, I’ve been working with Ras Bodik on research towards my undergraduate honors thesis for Computer Science. I’m a big fan of functional programming, type systems+theories,abstract mathematics, and automated systems for reasoning, verifying, and synthesizing proofs and/or programs (same diff!). Post-graduation, I want to pursue a PhD and do research in these subjects, hopefully leading to a career in research.

It’s safe to assume that content on this site is licensed under CC-BY-SA, unless otherwise specified.