Thomas Wies

Associate Professor of Computer Science
wies@cs.nyu.edu
212-998-3293
60 Fifth Avenue, Office 403
http://cs.nyu.edu/wies/

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.

Research Groups

Analysis of Computer Systems Group

Other Links

DBLP Computer Science Bibliography page