Thomas Wies

Thomas Wies is a Professor of Computer Science at the Courant Institute, New York University, and Chair of the Computer Science Department. His research focuses on program analysis and verification, automated deduction, and concurrency.

• University: New York University
• School: Courant Institute
• Department: Computer Science
• Academic Rank: Professor

His research explores foundational techniques for verifying concurrent systems, including separation logic, shape analysis, and SMT-based methods. Key trends in his recent work include advancements in symbolic verification for concurrent data structures, multiparty protocol analysis, and linearizability proof tools.

Scientific awards he has received include:

• Best Paper Award, ISSRE 2019
• Best Paper Award, ACM SIGPLAN OOPSLA 2014

He has advised numerous PhD students and co-advised alumni, including Devora Chait-Roth, Mark Goldstein, Ekanshdeep Gupta, and others. His teaching portfolio includes graduate and undergraduate courses on programming languages, concurrency, and program verification. Professional roles include organizing conferences like VerifyThis 2025 and chairing program committees for VMCAI and ESOP.