福彩快三

計算機科學

首頁 > 計算機科學

約瑟夫·斯發基斯

2018-09-12 13:52:12     所屬分類:圖靈獎獲得者
約瑟夫·斯發基斯
Joseph Sifakis img 0966.jpg
出生 1946年12月26日
希臘克里特大區伊拉克利翁
國籍 希臘
公民權 希臘/法國
母校 國立雅典理工大學
University of Grenoble
知名于 Model-Checking的研發
獎項 圖靈獎 (2007)
科學生涯
研究領域 計算機科學家
機構 CNRS

約瑟夫·斯發基斯英語:Joseph Sifakis,希臘語:Ιωσ?φ Σηφ?κη?,1946年12月26日)是一名希臘計算機科學家和他也有法國國籍[1] 。2007年,他與愛德蒙·克拉克和艾倫·愛默生一起因在en: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. 

外部鏈接

  • Personal homepage
  • Turing Award announcement

感謝您的支持,我會繼續努力的!

掃碼支持
1分,2分不嫌少,錢不錢的無所謂,重要的是你的話語激勵我前行!

愿你每天溫暖如春!!!

顯示全文

取消

福彩快三感謝您的支持,我會繼續努力的!

掃碼支持
無需打賞可直接關閉閱讀全文
1分,2分不嫌少,錢不錢的無所謂,重要的是你的話語激勵我前行!

福彩快三愿你每天溫暖如春!!!


上一篇:阿迪·沙米爾
下一篇:司馬賀
相關推薦