Thomas Reps
Location: (Madison, WI)
Personal Research Web Page: http://pages.cs.wisc.edu/~reps/
Keywords: program analysis; abstract interpretation; model checking; verification of program properties; dynamic, static, and symbolic techniques; security; analysis of machine code; linked data structures; concurrency; information assurance
Posted on: Thursday, April 29th, 2010
Broad Research Area: Information Assurance / Security / Privacy / Cryptography, Programming Languages / Compilers, Software Engineering
Research Interests:
The goal of my research is to find ways to help programmers create correct, reliable, and secure software. To address these issues, I work on methods to manipulate programs and analyze their properties. Often these have taken the form of frameworks that apply to general classes of problems.
Much of my current focus is on methods to analyze machine code (a.k.a. “binaries” or “stripped executables”), but I am also interested in other challenging program-analysis problems, such as analysis of concurrent programs and programs that use linked data structures.
Contact Information:
Thomas Reps
Comp. Sci. Dept.
Univ. of Wisconsin
1210 West Dayton Street
Madison, WI 53706
