Thomas W. Reps

Thomas W. Reps is the J. Barkley Rosser Professor & Rajiv and Ritu Batra Chair Emeritus at the University of Wisconsin-Madison, where he has been a faculty member since 1985. He is also President of GrammaTech, Inc., and a co-founder of the company.

• Education: Ph.D. in Computer Science from Cornell University (1982), winner of the 1983 ACM Doctoral Dissertation Award.

Reps’s research spans program analysis, abstract interpretation, model checking, and computer security. His recent work focuses on quantum computing verification, probabilistic program analysis, and symbolic methods for static analysis.

His publications (over 225) include foundational contributions to program slicing (1988 paper with Horwitz and Binkley, cited >1,780 times), machine-code analysis (ETAPS Best-Paper Awards in 2004 and 2008), and programming environments (co-author of The Synthesizer Generator). Key awards include the ACM SIGPLAN Programming Languages Achievement Award (2017), Guggenheim and Packard Fellowships, and ACM Fellow (2005).

• Students: Mentored award-winning graduates like Akash Lal (SIGPLAN Outstanding Dissertation) and Venkatesh Srinivasan (Outstanding Graduate Student Research Award).