Tenure-Track & Contract Faculty

For the full list of faculty that can serve as PhD advisors for the Computer Science PhD program, please see this page.

Tenure-Track Faculty

  • Patrick Cousot

    Silver Professor of Computer Science

    Doctor ès Sciences, Mathematics, University Joseph Fourier, Grenoble, France, 1978

    Email: pcousot at cs.nyu.edu
    Office: 60 Fifth Ave 400
    Ext: 8-3519
    Abstract interpretation, semantics, verification, and static analysis.

  • Thibault Dardinier

    Assistant Professor of Computer Science

    Ph.D. from ETH Zurich, 2025

    Formal verification, sound and automated deductive verifiers, program logics, separation logic, hyperproperties

    Note: Starting September 2026

  • Benjamin Goldberg

    Associate Professor of Computer Science

    Ph.D., Computer Science, Yale University, USA, 1988

    Email: goldberg at cs.nyu.edu
    Office: WWH 401
    Ext: 8-3495
    Design and implementation of programming languages, compiler verification, and compiler optimizations.

  • Joseph Tassarotti

    Assistant Professor of Computer Science

    Ph.D., Computer Science, Carnegie Mellon University, 2019

    Email: jt4767 at nyu.edu
    Office: 60 Fifth Ave 401
    Ext: 8-3294
    Programming languages, formal verification, systems

  • Sam Westrick

    Assistant Professor of Computer Science

    Ph.D., Computer Science, Carnegie Mellon University, 2022

    Email: shw8119 at nyu.edu
    Office: 60 Fifth Ave 500
    Ext: 83264
    Programming languages, compilers and run-time systems, parallel algorithms

  • Thomas Wies

    Professor of Computer Science

    Ph.D., Computer Science, University of Freiburg, Germany, 2009

    Email: wies at cs.nyu.edu
    Office: 60 Fifth Ave 403
    Ext: 8-3293
    Program analysis and verification; automated deduction; concurrent software; software productivity