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.