Thomas Porter

thomasjp@umich.edu

About me: I am a CSE PhD candidate at the University of Michigan, working in the Future of Programming Lab with Cyrus Omar. I am interested in liveproviding continuous feedback to the user, rather than, e.g., waiting for compilation. programming environments, ergonomic and principled proof assistanta computerized framework for mathematical reasoning design, and in combining these to support education in the formal"Formal" in the sense of symbolic - mathematics, logic, theoretical computer science, etc. and formalizedthose sciences amenable to rigorous, symbolic treatment - some subset of the natural sciences, engineering, economics, linguistics, etc. sciences.