Faculty

Jump to Name:

C G T W

  • 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.

  • 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

  • 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