Thomas Porter

thomasjp@umich.edu

About me: I am a first year CSE PhD student 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.