Thomas Wies

Thomas Wies

Associate Professor, New York University

Thomas Wies is an Associate Professor in the Computer Science
Department at New York University and a member of the Analysis of
Computer Systems Group in the Courant Institute of Mathematical
Sciences. He is recipient of an NSF CAREER Award, an OOPSLA 2014 Best
Paper Award, and an ISSRE 2019 Distinguished Paper Award. His research
interests are in Programming Languages and Formal Methods.

Program Visits

Fields
formal methods, programming languages, verification, static analysis