返回导师列表
TW

Thomas Wies

Associate Professor of Computer Science · Computer Science

New York University · United States
Program analysisVerificationAutomated deductionConcurrent softwareSoftware productivity

简介

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.

教育经历

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

数据校验于 9/6/2026数据来源

学生评价

还没有评价。成为第一位分享经验的学生吧。