返回导师列表
PC

Patrick Cousot

Silver Professor of Computer Science · Computer Science

New York University · United States
Abstract interpretationsemanticsverificationstatic analysis

简介

Patrick Cousot is a Silver Professor of Computer Science at NYU Courant. His research focuses on abstract interpretation, semantics, verification, and static analysis.

教育经历

  • Doctor ès Sciences, Mathematics, University Joseph Fourier, Grenoble, France, 1978
  • D.Eng., Computer Science, University Joseph Fourier, Grenoble, France, 1974

数据校验于 9/6/2026数据来源

学生评价

还没有评价。成为第一位分享经验的学生吧。