Home

Welcome to my personal site. I am a current second year graduate student at the University of Chicago. My primary interests are in teaching, logic, type theory, and quantum programming languages.

My advisor is Stuart Kurtz.

Posts

…or you can find more in the archives.