跳至內容

約瑟夫·斯發基斯

維基百科,自由的百科全書
約瑟夫·斯發基斯
出生 (1946-12-26) 1946年12月26日77歲)
 希臘克里特大區伊拉克利翁
國籍 希臘
公民權希臘/法國
母校國立雅典理工大學
格勒諾布爾-阿爾卑斯大學
知名於模型檢查英語Model checking的研發
獎項圖靈獎(2007年)
科學生涯
研究領域計算機科學家
機構CNRS

約瑟夫·斯發基斯(英語:Joseph Sifakis希臘語Ιωσήφ Σηφάκης,1946年12月26日)是一名希臘計算機科學家和他也有法國國籍[1] 。2007年,他與愛德蒙·克拉克艾倫·愛默生一起因在模型檢查英語Model checking取得的傑出貢獻而獲得圖靈獎[2]

參照

  1. ^ 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
  2. ^ 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). 

外部連結