Faculty Profile

Patrick Cousot

Silver Professor of Computer Science
pcousot@cs.nyu.edu
212-998-3519
60 Fifth Avenue, Office 400

Education

Doctor ├Ęs Sciences, Mathematics, University Joseph Fourier, Grenoble, France, 1978.
D.Eng., Computer Science, University Joseph Fourier, Grenoble, France, 1974.

Research Interests

Abstract interpretation, semantics, verifcation, and static analysis.

Other Links