I'm a computer science Ph.D. student at Stanford advised by Fredrik Kjolstad.
My research interests derive from trying to understand programs as acts of communication. I like to work on high-level domain specific languages in order to remove artificial barriers to communication.
My current project is a language for interactive computations inspired by board games: Partake.
Previously I've worked on Etch, a compiler for tensor arithmetic, relational queries, and more. We use the notion of indexed streams to abstract the implementation details of sparse computations and mechanically verify our composition methods.
I like functional programming, relational languages, algebraic optimizations, naive realism, and games.