维基百科

帕特里克·库索

帕特里克·库索（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)

参考资料

编辑
检索自“https://zh.wikipedia.org/w/index.php?title=帕特里克·库索&oldid=67917824”