Thomas W. 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

• Programming languages
• Software engineering
• Static program analysis
• Model checking
• Machine-code analysis
• Program slicing
• Computer security
• Programming environments

• 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

Curriculum Vitae

---

Publication list

---

Highlights of my work and anecdotes

---

Other information