約瑟夫·斯發基斯
 | 此條目翻譯品質不佳。 (2021年8月7日) |
| 約瑟夫·斯發基斯 | |
|---|---|
 | |
| 出生 | 1946年12月26日 希臘克里特大區伊拉克利翁 |
| 國籍 | 希臘 |
| 公民權 | 希臘/法國 |
| 母校 | 國立雅典理工大學 格勒諾布爾-阿爾卑斯大學 |
| 知名於 | 模型檢查的研發 |
| 獎項 | 圖靈獎（2007年） |
| 科學生涯 | |
| 研究領域 | 計算機科學家 |
| 機構 | CNRS |
約瑟夫·斯發基斯（英語：Joseph Sifakis，希臘語：Ιωσήφ Σηφάκης，1946年12月26日—）是一名希臘計算機科學家和他也有法國國籍[1] 。2007年，他與愛德蒙·克拉克和艾倫·愛默生一起因在模型檢查取得的傑出貢獻而獲得圖靈獎。[2]
參照
- ^ Aperçu historique de l』immigration grecque à Grenoble （頁面存檔備份，存於網際網路檔案館）, Evangélia Moussouri, in Écarts d'identités n⁰95-96, ISSN 1252-6665, reprinting information from an interview of Joseph Sifakis in Des grecs, les grecs de Grenoble, Musée Dauphinois, ISBN 2-905375-08-6
- ^ ACM Turing Award Honors Founders of Automatic Verification Technology That Enables Faster, More Reliable Designs. University of Texas. 2008-02-04 [2013-12-22]. （原始內容存檔於2008-05-09）.
外部連結
維基共享資源上的相關多媒體資源：約瑟夫·斯發基斯- Personal homepage （頁面存檔備份，存於網際網路檔案館）
- Turing Award announcement
