T
Thomas Wies
Professor of Computer Science
GradNova doesn't forward messages to faculty. To contact Thomas Wies, use the New York University website.
Research Interests
Automated Deduction
Concurrent Software
Program Analysis and Verification
Software Productivity
Formal Methods in Verification
Network Traffic and Congestion Control
Distributed Systems and Fault Tolerance
Logic, Programming, and Type Systems
Logic, Reasoning, and Knowledge
Academic Metrics
Links
Grants
Researching advisors with ChatGPT or Claude? Use GradNova in ChatGPT or Claude · Early access →
Considering this professor? Add them to your shortlist and get 2 professors checked by a person, free →