約瑟夫·斯發基斯

約瑟夫·斯發基斯（Joseph Sifakis）是一個來自希臘的計算機科學家。1946年出生於希臘的Heraklion, Crete。Sifakis年青時候分別在希臘的雅典國立科技大學的電子工程系和法國的University of Grenoble計算機系學習。Sifakis在法國的Centre national de la recherche scientifique at the VERIMAG laboratory進行研究工作。Sifakis本人也是VERIMAG實驗室的創辦人。Joseph Sifakis

Joseph Sifakis:第一位榮獲圖靈獎的法國研究人員 回目錄Joseph Sifakis和Edmund Clarke（卡耐基梅隆大學CMU教授）及Allen Emerson（得克薩斯大學奧斯汀分校教授）於2008年2月4日一起榮獲了2007年度的圖靈獎。

Joseph Sifakis

Joseph Sifakis圖靈獎由美國計算機協會（ACM）於1966年設立，是每年專門對計算機事業做出重要貢獻的個人頒發的最高獎勵。美國計算機協會創立於1947年，這個代表計算機專業人士的國際組織以出版發行該領域的科研成果及組織專業研討會為主要任務。是法國研究人員第一次獲得這個享有“計算機界諾貝爾獎”之稱的著名獎項。

Joseph Sifaki是法國國家科研中心（CNRS）的研究總監，法國國家科研中心2001年銀質獎章的獲得者，獲有工程師博士學位和法國格勒諾布爾一大（UJF）國家博士生學位。他亦是位於法國格勒諾布爾以嵌入式系統著稱世界的研究中心Verimag實驗室（UJF/CNRS/INPG）的創始人。

由於在將模型檢查方法應用於實時系統的驗證方面的工作而使Joseph Sifaki在國際上獲得聲譽。他是廣泛應用於工業界的“模型檢查”技術的發明者。

模型檢查（Model-Checking），是用數學算法來驗證一個軟件或硬件系統設計是否滿足預設的需求（例如在安全性或可靠性方面）。模型檢查理論基礎是1981年由Sifakis在法國、Clarke和 Emerson在美國分別獨立提出的。模型檢查在工業檢測方面有諸多應用：如芯片檢測、通信協議、外部設備主控軟件、嵌入式系統（如在飛機、火車、火箭、衞星或移動電話）以及安全算法等。

曾積極致力於將科研成果向工業合作伙伴轉讓的Joseph Sifaki，作為歐洲“卓越網絡”（Network of Excellence）嵌入式系統設計研究聯盟 « ARTIST2 Embedded Systems Design »的技術協調人，主要對35個歐洲研究小組的研究進行協調，以便對用於具有高性能和高可靠性的嵌入式系統設計的理論和實際應用成果進行開發。

Joseph SifakisJoseph Sifakis的研究工作具有決定性意義並且引導出了新的軟件規範的創建、新的檢測算法以及傑出的理論結果。這項技術被應用於集成電路工業中以便設計複雜的系統並能夠使其保證符合預設的規範。模型檢查在嵌入式處理器和關鍵系統方面的產業影響在未來的幾年裏將會更加顯著。

法國駐華大使館對這一榮譽感到歡欣。授予Joseph Sifakis2007年度圖靈獎，不僅使其成為第一位擁有此殊容的法國科學家，也進一步證明了法國在計算機領域的研究水平。