Thomas Wies

Thomas Wies is a Professor of Computer Science at the Courant Institute of Mathematical Sciences, New York University, and Chair of the Computer Science Department. He is a member of the Analysis of Computer Systems Group and has a personal website.

• Affiliation: New York University
• Research Focus: Program Analysis, Verification, Automated Deduction, Concurrency
• Teaching: Principles of Programming Languages (undergraduate), Programming Languages (graduate), Rigorous Software Development

Research Interests: His work centers on program analysis, verification of concurrent systems, automated deduction, and applications of separation logic. He develops tools like Raven, GRASShopper, and Sprout for verifying concurrent programs and search structures.

Recent Articles (2025-2023): Focus on SMT-based verification, concurrent data structures, temporal safety effects, multiparty protocols, and separation logic extensions. These span conferences like OOPSLA, CAV, IEEE S&P, and TACAS.

Scientific Awards:

• Best Paper at ISSRE 2019
• Best Paper at ICFP 2014

Professional Activities: Organizer/Co-organizer of VerifyThis 2025, Program Chair roles in NETYS 2023, VMCAI 2022, and others. Active in PC roles for POPL, PLDI, CAV, and VMCAI.

Students & Group: Advises PhD students including Elaine Li, Devora Chait-Roth, and Ekanshdeep Gupta. Group alumni include Kshitij Bansal, Siddharth Krishna, and Wei Wang.