Back to advisors
TW

Thomas Wies

Associate Professor of Computer Science · Computer Science

New York University · United States
Program analysisVerificationAutomated deductionConcurrent softwareSoftware productivity

About

Thomas Wies is an Associate Professor of Computer Science at NYU Courant. His research focuses on program analysis and verification, automated deduction, concurrent software, and software productivity.

Education

  • Ph.D., Computer Science, University of Freiburg, Germany, 2009.
  • M.S., Computer Science, Saarland University, Germany, 2005.

Data verified 9/6/2026Source

Student reviews

No reviews yet. Be the first to share your experience.