I received my Master’s degree in Computer Science from the University of Chicago, working under Ravi Chugh. My main research interests were structured, projectional, and live editing, visual programming, and proof assistants.

You can find a few more of the things I’ve worked on at my twitter, github, and youtube.