Thomas Reps is affiliated with the University of Wisconsin-Madison in the United States. Their research primarily spans the field of Computer Science, with contributions distributed across various subfields including Artificial Intelligence, Computational Theory and Mathematics, Software, Information Systems, and Hardware and Architecture.
The research topics that Reps has extensively worked on include Formal Methods in Verification, Software Engineering Research, Logic, Programming, and Type Systems, Software Testing and Debugging Techniques, Parallel Computing and Optimization Techniques, Advanced Malware Detection Techniques, and Natural Language Processing Techniques.
Their recent publications demonstrate a focus on the analysis, transformation, and robustness of source code models. Notable papers include:
Among their frequent coauthors are Loris D'Antoni, Swarat Chaudhuri, Jordan Henkel, Jinwoo Kim, and Somesh Jha.
Reps has published in respected venues including arXiv (Cornell University), Proceedings of the ACM on Programming Languages, Zenodo (CERN European Organization for Nuclear Research), Artifact Digital Object Group, and ACM Transactions on Programming Languages and Systems.
Throughout their career, Thomas Reps has received several distinctions. They were named a Member of Academia Europaea in 2013 and recognized as an ACM Fellow in 2005 for contributions to automated program analysis and synthesis. Additionally, they were awarded a fellowship from the John Simon Guggenheim Memorial Foundation in 2000.
Susan Horwitz;Thomas Reps;David Binkley
Susan Horwitz;Thomas Reps;David Binkley
Thomas Reps;Susan Horwitz;Mooly Sagiv
Mooly Sagiv;Thomas Reps;Reinhard Wilhelm
Mooly Sagiv;Thomas Reps;Reinhard Wilhelm
Tim Teitelbaum;Thomas Reps
Susan Horwitz;Jan Prins;Thomas Reps
S. Horwitz;J. Prins;T. Reps
Mooly Sagiv;Thomas Reps;Reinhard Wilhelm
Gogul Balakrishnan;Thomas W. Reps
G. Ramalingam;Thomas Reps
G. Balakrishnan;T. Reps;D. Melski;T. Teitelbaum
Thomas W. Reps
Thomas Reps;Tim Teitelbaum
Susan Horwitz;Thomas Reps
Thomas William Reps
Thomas Reps;Tim Teitelbaum;Alan Demers
M. Siff;T. Reps
Thomas Reps;Thomas Ball;Manuvir Das;James Larus
Mooly Sagiv;Thomas Reps;Susan Horwitz
Thomas W. Reps;Tim Teitelbaum
If you think any of the details on this page are incorrect, let us know.
Exploring a Computer Science degree in the USA often opens the door to diverse online programs and evolving career pathways. Many students are turning to online degrees that pay well to quickly enhance earning potential while enjoying flexibility and convenience.
With the growth of technology, areas such as artificial intelligence are seeing increased demand. If you’re interested in this rapidly expanding field, pursuing an artificial intelligence degree online can provide a solid foundation and open up exciting job prospects in tech-driven industries.
Choosing the right major is also crucial. Many students look for guidance on the best majors in college to align their studies with job market trends and personal interests.
For those considering advanced education, there are also easy masters programs to get into that allow students to upskill without an overwhelming admissions process.
By exploring these options, students can make informed decisions about their academic journey and career path in computer science and beyond.
Pacific Northwest National Laboratory
Trinity College Dublin
University of Miami
University of Strathclyde
University of Pennsylvania
Yale University
University of California, San Francisco
University of Chicago
Cornell University
Imperial College London
University of Alicante
Fluminense Federal University
Memorial Sloan Kettering Cancer Center
Torrens University Australia
University of California, San Diego
University of Queensland
