I'm a computer science Ph.D. student at Stanford advised by Fredrik Kjolstad.
I think about how programming languages support formal reasoning, compositionality, and application extension by users. Right now I'm working on etch.
I like functional programming, relational languages, algebraic optimizations, naive realism, and games.