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