Write a Blog >>
Thomas Wies

Registered user since Fri 10 Apr 2015

Name:Thomas Wies

I am an Assistant Professor in the NYU Computer Science Department and a member of the Analysis of Computer Systems Group. I received my doctorate in Computer Science from the University of Freiburg, Germany (2009). Before joining NYU, I held post-doctoral positions at École Polytechnique Fédérale de Lausanne, Switzerland and at the Institute of Science and Technology Austria.

Country:United States
Affiliation:New York University
Personal website:http://cs.nyu.edu/wies/
Research interests:My research focuses on program analysis and verification, automated deduction, concurrent software, and software productivity.


VMCAI Committee Member in Program Committee
POPL 2016 ERC member in External Reviewing Committee within the Research Papers-track
ERC member in External Reviewing Committee
Show activities from other conferences

POPL 2016-profile
View general profile