帕特里克·庫索

帕特里克·庫索(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)

參考資料

編輯