I'm a computer science Ph.D. student at Stanford advised by Fredrik Kjolstad.
Programs are often the most clear and explicit way of realizing one's understanding of a process, communicating it, and collaboratively refining it. I like to work on domain specific languages, which can offer users a combination of high expressiveness and performance.
Lately 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.
I like functional programming, relational languages, algebraic optimizations, naive realism, and games.