Thomas W. Reps (born May 28, 1956) is a prominent American computer scientist, best known for his contributions to the fields of automatic program analysis and static analysis. He is a celebrated professor emeritus at the University of Wisconsin-Madison and a co-founder of GrammaTech, a company focused on software analysis and automated program analysis tools. Reps has authored four books and over 240 papers, heavily influencing areas such as program slicing, pointer analysis, and model checking.
Thomas Reps has continued to impact the academic field and the software industry through ongoing research and collaborations:
Attribute | Information |
---|---|
Full Name | Thomas William Reps |
Born | May 28, 1956, United States |
Nationality | American |
Occupation | Computer Scientist, Academic Researcher |
Known For | Automatic Program Analysis, Co-Founder of GrammaTech |
Net Worth | Not publicly disclosed |
Education | Harvard University (B.A. 1977), Cornell University (M.S. 1982, Ph.D. 1985) |
Family | The father was a notable figure in urban planning. Married to Susan Beth Horwitz, a notable computer scientist, who passed away in 2014; their influence endures. |
Thomas Reps was born in 1956 in the United States. He showed an early interest in computing that was nurtured through his formal education. He attended Harvard University, earning a Bachelor of Arts degree in 1977, graduating cum laude. Reps continued his academic journey at Cornell University, where he earned a Master of Science in 1982 and a Doctorate in 1985. His thesis, "Generating Language-Based Environments," was supervised by Tim Teitelbaum and laid significant groundwork for his future contributions to the field.
Thomas Reps commenced his tenure at the University of Wisconsin-Madison in 1985, where he made substantial contributions through both teaching and research.
Reps is currently involved as an emeritus professor, continuing to drive forward collaborations even after stepping down from a full-time role. His work on symbolic abstraction and program analysis frameworks continues to influence current methods of program verification, providing vital tools for both software developers and researchers globally.
Thomas Reps remains a figure of immense respect and influence in computer science, known for pioneering techniques that have become foundational in program analysis and verification. His involvement with GrammaTech has ensured that practical tools derived from fundamental research remain available to the broader software development community. Reps' legacy continues through his published works and the ongoing initiative in academic circles to further advance program analysis, which he has consistently championed throughout his career.