Faculty
Jump to Name:
-
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
Website: http://samwestrick.com
Office: 60 Fifth Ave 500
Programming Languages, Compilers and Run-time Systems, Parallel Algorithms -
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