Prof. Dr. Thomas William Reps

Current contact address

Country	United States of America
City	Madison
Institution	University of Wisconsin-Madison
Institute	Computer Science Department

Research fields	Computer Architecture, Embedded and Massively Parallel Systems
Keywords	static program analysis, abstract interpretation, model checking, computer security, decision procedures