Short Bio
Thomas Wies is a Professor of Computer Science at the Courant
Institute of New York University and Chair of the NYU Department of
Computer Science. He has received an NSF CAREER Award and multiple
best paper awards. He is broadly interested in Programming Languages
and Formal Methods with a focus on verification of concurrent and
distributed systems.