Faculty Profile
Thomas Wies
Associate Professor of Computer Science
wies@cs.nyu.edu
212-998-3293
60 Fifth Avenue, Office 403
Education
Ph.D., Computer Science, University of Freiburg, Germany, 2009.
M.S., Computer Science, Saarland University, Germany, 2005.
Research Interests
Program analysis and verification; automated deduction; concurrent software; software productivity.