Thomas W. Reps#


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
  • 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

Imprint Privacy policy « This page (revision-6) was last changed on Monday, 14. June 2021, 13:59 by Kaiser Dana
  • operated by