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

Prof. Patrick Cousot Office 400, FL4 New York University Courant Institute of Mathematical Sciences Computer Science Department 60 Vth Ave New York, NY 10011-8868 United States Directions to Courant Phone: 8-3519 — outside NYU Washington Square Campus, use prefix + 1 (212) 99 Fax: 5-4121 pcousotcsnyuedu