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.