Thomas Wies
Thomas Wies
Associate Professor, New York University
- Joined July 2019
Names
Emails
****@cs.nyu.edu (Confirmed)
, ****@nyu.edu (Confirmed)
, ****@cims.nyu.edu (Confirmed)
Personal Links
Career & Education History
Associate Professor
New York University (nyu.edu)
2017 – Present
Assistant Professor
New York University (nyu.edu)
2011 – 2017
Postdoc
Institute of Science and Technology Austria (ist.ac.at)
2009 – 2011
Postdoc
Swiss Federal Institute of Technology Lausanne (epfl.ch)
2008 – 2009
Advisors, Relations & Conflicts
Expertise
programming languages
2005 – Present
formal methods
2005 – Present