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.
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.
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
Assistant Professor of Computer Science
Ph.D., Computer Science, Carnegie Mellon University, 2022
Office: 60 Fifth Ave
500
shw8119@nyu.edu
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