Thomas Porter

thomasjp@umich.edu

CV

I am a first year PhD at the University of Michigan. I work in the Future of Programming Lab with Cyrus Omar. I am interested in programming languages, proof assistants, editor design, and intelligent tutoring systems, and in combining them to reinvent education in the formal sciences.