基本介紹
- 中文名：：約瑟夫·斯發基斯
- 英文名：：Joseph Sifakis
- 籍貫：：Heraklion
- 性別：：男
- 出生年月：：1946年
- 職業：：文學
簡介,成就,
簡介
成就
Joseph Sifakis:第一位榮獲圖靈獎的法國研究人員 回目錄Joseph Sifakis和Edmund Clarke（卡耐基梅隆大學CMU教授）及Allen Emerson（德克薩斯大學奧斯汀分校教授）於2008年2月4日一起榮獲了2007年度的圖靈獎。
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年度圖靈獎，不僅使其成為第一位擁有此殊容的法國科學家，也進一步證明了法國在計算機領域的研究水平。
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年度圖靈獎，不僅使其成為第一位擁有此殊容的法國科學家，也進一步證明了法國在計算機領域的研究水平。
