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