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 Best Paper Award, and an ISSRE Best Paper Award. His research interests are in Programming Languages and Formal Methods with a focus on program analysis and verification, automated deduction, and correctness of concurrent systems.