Faculty Profile

Thomas Wies

Assistant 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.