Faculty

Jump to Name:

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

  • Thomas Wies

    Associate 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