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

Prof. Patrick Cousot 405 WWH Computer Science Department Courant Institute of Mathematical Sciences New York University 251 Mercer Street New York, NY 10012 Phone: 8-3519 — outside NYU Washington Square Campus, use prefix + 1 (212) 99 pcousotcsnyuedu