I am a theorist with broad scientific training, who loves to make pretty things out of math and code. Currently, I am a PhD candidate in Computer Science at Cornell University, advised by Joe Halpern. I develop clean mathematical foundations for fallible agents, which are well-suited to modern AI systems. My work combines machine learning, probabilistic graphical models, information theory, programming languages, category theory, microeconomics, and logic. See my research page for more information!
Before my PhD, I did an MPhil in CS from the University of Cambridge, where I worked on diagrammatic reasoning with Mateja Jamnik. I earned three majors (Mathematics, Cell & Molecular Biology, and Computer Science) and three minors (Chemistry, Physics, Cognitive Science) as an undergraduate at the University of Utah. There, my research focused on pure math (tropical geometry, with Aaron Bertram) and applied machine learning (structured prediction for natural language, with Vivek Srikumar).
Even before that, I made video games in my free time. I also improvise on the piano!