帕特里克·库索

帕特里克·库索(1948年12月3日)是一位法国计算机科学家。在2000年代,他一直致力于为关键嵌入式软件(如航空电子设备)提供实用的静态分析方法。自1991年以来,他一直在巴黎高等师范学院担任计算机科学教授。

Patrick Cousot
2007年12月照
出生 (1948-12-03) 1948年12月3日75歲)
 美国纽约
国籍 法國
母校南锡国立高等矿业学校,
Université Joseph Fourier Grenoble I
知名于抽象释义
配偶Radhia Cousot英语Radhia Cousot
科学生涯
论文
  • Définition interprétative et implantation de langages de programmation(1974)
  • Méthodes itératives de construction et d'approximation de points fixes d'opérateurs monotones sur un treillis, analyse sémantique des programmes(1978)
博士導師Michael Griffiths (1974),
Philippe Jorrand (1978)

参考资料

编辑