帕特里克·庫索
此條目可參照英語維基百科相應條目來擴充。 (2018年9月21日) |
帕特里克·庫索(1948年12月3日—)是一位法國計算機科學家。在2000年代,他一直致力於為關鍵嵌入式軟件(如航空電子設備)提供實用的靜態分析方法。自1991年以來,他一直在巴黎高等師範學院擔任計算機科學教授。
Patrick Cousot | |
---|---|
![]() 2007年12月照 | |
出生 | ![]() | 1948年12月3日
國籍 | ![]() |
母校 | 南錫國立高等礦業學校, Université Joseph Fourier Grenoble I |
知名於 | 抽象釋義 |
配偶 | Radhia Cousot |
科學生涯 | |
論文 |
|
博士導師 | Michael Griffiths (1974), Philippe Jorrand (1978) |
參考資料
編輯這是一篇關於法國人物的小作品。您可以透過編輯或修訂擴充其內容。 |