Thomas W. Reps#
| Membership Number: | 3468 |
| Membership type: | FOREIGN |
| Section: | INFORMATICS |
| Elected: | 2013 |
| Main Country of Residence: | UNITED STATES |
| Homepage(s): | http://pages.cs.wisc.edu/~reps |
Present and Previous Positions
- 2007 − 08 Guest Professor, University of Paris 7, Paris, France
- 2000 − 01 Visiting Researcher, Consiglio Nazionale delle Ricerche (CNR), Pisa, Italy
- 1993 − 94 Guest Professor, Datalogisk Institut, University of Copenhagen, Copenhagen, Denmark
- 1990 − 93 Associate Chairman, Computer Sciences Department, University of Wisconsin
- 1988− President and Co-founder, GrammaTech, Inc.
- 1985− Professor, Comp. Sci. Dept., Univ. of Wisconsin, (Asst.: 85−88; Assoc.: 88−94; Full: 94−)
- 1984 - 85 Research Associate, Department of Computer Science, Cornell University
- 1982 − 83 Visiting Researcher, Institut National de Recherche en Informatique et en Automatique (INRIA), Rocquencourt, France
- 1982−84 Post-Doctoral Associate, Department of Computer Science, Cornell University
Fields of Scholarship
- Programming languages
- Software engineering
- Static program analysis
- Model checking
- Machine-code analysis
- Program slicing
- Computer security
- Programming environments
Honours and Awards
- 2017 ACM SIGPLAN Programming Languages Achievement Award
- 2015 WARF Named Professorship, University of Wisconsin
- 2011 ACM SIGSOFT Retrospective Impact Paper Award (for Reps, T., Horwitz, S., Sagiv, M., and Rosay, G., “Speeding up slicing” , 1994)
- 2010 ACM SIGSOFT Retrospective Impact Paper Award (for Reps, T. and Teitelbaum, T., “The Synthesizer Generator” , 1984)
- 2005 ACM Fellow
- 2003 Recognized as a “Highly Cited Researcher” in the field of Comp. Sci., Inst. for Scientific Inf.
- 2000 Guggenheim Fellowship, John Simon Guggenheim Memorial Foundation
- 2000 Humboldt Research Award, Alexander von Humboldt Foundation
- 1997 Vilas Associate Award, University of Wisconsin
- 1988 David and Lucile Packard Fellowship for Science and Engineering
- 1986 IBM Faculty Development Award
- 1986 NSF Presidential Young Investigator Award
- 1983 ACM Doctoral Dissertation Award
