Thomas Wies

Associate Professor of Computer Science
60 Fifth Avenue, Office 403


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