Thomas W. Reps

Thomas W. Reps is the J. Barkley Rosser Professor & Rajiv and Ritu Batra Chair in the Computer Sciences Department of the University of Wisconsin-Madison, where he has been a faculty member since 1985. He is also President of GrammaTech, Inc., which he co-founded in 1988 to commercialize research on programming environments. Reps received his Ph.D. in Computer Science from Cornell University in 1982, winning the ACM Doctoral Dissertation Award.

His research spans program analysis, abstract interpretation, model checking, programming languages, and computer security. Reps's most influential work includes pioneering program slicing techniques with Susan Horwitz, development of the Cornell Program Synthesizer and Synthesizer Generator with Tim Teitelbaum, and significant contributions to interprocedural dataflow analysis. His recent work extends into quantum computing and advanced program synthesis techniques.

The analysis of his publications reveals consistent focus on program analysis techniques, with recent papers exploring quantum circuit verification, abstract transformer synthesis, and program synthesis. His work bridges theoretical foundations with practical applications, often addressing scalability challenges in program analysis.

• NSF Presidential Young Investigator Award (1986)
• Packard Fellowship (1988)
• ACM Fellow (2005)
• ACM SIGPLAN Programming Languages Achievement Award (2017)
• Elected foreign member of Academia Europaea (2013)
• Multiple best paper awards including ETAPS (2004, 2008)

Reps has advised numerous students, several of whom have received departmental and national recognition. His work on the Wisconsin Program-Slicing Tool led to commercial products through GrammaTech. He has served on advisory boards for significant projects including Year 2000 remediation for the Department of Defense and F/A-22 avionics software integration.