Thomas Porter



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.

Check out dependent Hazelnut here!


[pdf] Polymorphism with Typed Holes, TFP 2024

[pdf] Automatic Error Analysis for Document-level Information Extraction, ACL 2022.