Thomas Reps

Thomas Reps is a Professor at the University of Wisconsin-Madison's Computer Sciences Department. He has held the J. Barkley Rosser Professor and Rajiv and Ritu Batra Chair since joining in 1982. His research spans program analysis, model checking, abstract interpretation, computer security, and quantum computing.

• Ph.D. in Computer Science from Cornell University (1982), ACM Doctoral Dissertation Award winner
• Co-founder of GrammaTech, Inc. (1988)
• Held visiting positions at INRIA (France), University of Copenhagen (Denmark), CNR (Italy), and University Paris Diderot (France)

Research Interests include program slicing, interprocedural dataflow analysis, pointer analysis, software model checking, and code instrumentation. His recent work focuses on quantum circuit verification, CFLOBDDs, and unrealizability logic.

His scientific awards include:

• ACM Fellow (2005)
• Foreign Member, Academia Europaea (2013)
• ACM SIGPLAN Achievement Award (2017)

He has advised Ph.D. students like Akash Lal (SIGPLAN Dissertation Award) and Gogul Balakrishnan (ETAPS Best Paper Award). His work has produced influential papers such as the 1988 PLDI paper on interprocedural slicing (50 most influential PLDI paper, 2004) and the 2003 TOPLAS paper on parametric shape analysis.