帕特里克·库索

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

Patrick Cousot
2007年12月照
出生 (1948-12-03) 1948年12月3日
 美國纽约
国籍 法國
母校南锡国立高等矿业学校,
Université Joseph Fourier Grenoble I
知名于抽象释义
配偶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)

参考资料
    This article is issued from Wikipedia. The text is licensed under Creative Commons - Attribution - Sharealike. Additional terms may apply for the media files.