I'm a computer science Ph.D. student at Stanford advised by Fredrik Kjolstad. Previously I studied math at MIT.
I'm interested in how programming languages help people learn and think, and how we might fulfill the old dynamic media dream. I work on domain-specific languages that emphasize relations and rules.
Currently, I'm working on Turn, a language for interactive situations inspired by board games.
Previously, I worked on Etch, a streaming approach to tensor arithmetic, relational queries, and more. We use the notion of indexed streams and algebraic operations on them to abstract the implementation details of sparse computations and mechanically verified the model.
