Type systems, pure functional programming, and generative art. During the day, I develop a compiler for quantum computers at Rigetti. In a past life, I got a PhD in programming languages with Stephanie Weirich at UPenn. (he/him/his)