Patrick COUSOT
Professor of
Computer Science
Courant Institute of Mathematical Sciences
New York University
Short biography
Research interests
(Abstract interpretation)
Projects
NSF expedition CMACS
Publications
(by
research themes
),
talks
, and
summer schools
Courses
CSCI-GA.3110-001, spring 2012, honors programming languages
Contact at NYU
Web page at ENS
Web page at MIT
Last modified:
Tuesday, 29-Nov-2011 04:14:53 EST