Patrick COUSOT
Professor of
Computer Science
Courant Institute of Mathematical Sciences
New York University