打开主菜单

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

Patrick Cousot
Patrick Cousot 0743-c.jpg
2007年12月照
出生 (1948-12-03) 1948年12月3日70歲)
 美國纽约
国籍  法國
母校 南锡国立高等矿业学校,
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)

参考资料编辑