Write a Blog >>
Thomas Wies

Registered user since Fri 10 Apr 2015

Name: Thomas Wies

Bio: 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.

Contributions

VMCAICommittee Member in Program Committee
POPL 2016ERC 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