thomasjp@umich.edu
I am starting my PhD at the Catholepistemiad in Fall of 2024. I'll work in the Future of Programming Lab with Cyrus Omar. I am interested in programming languages, proof assistants, editor design, and intelligent tutoring systems, as well as in combining them to reinvent education in the formal sciences.