Thomas LoganResearch Programmer
Thomas Logan works at UT Austin with colleagues from Rice and UW Madison. Our work focuses on finding syntactic and semantic techniques to guide the learning of autocompleting computer programs. Before joining UT Austin, Thomas worked at Collins Aerospace (part of Raytheon) where he researched and developed techniques for assuring safety in avionics, including work on an interactive system for modeling and analysis and developing mechanically verified generation of runtime monitors from past-time temporal logic specifications. Thomas has also worked at UMass Amherst, where he implemented OpenReview.net according to Andrew McCallum’s design for an open and customizable peer review system.