反饋

約瑟夫·希發基思

約瑟夫·希發基思（Joseph Sifakis），1946年12月出生於希臘，希臘和法國雙重國籍，計算機科學家，中國科學院外籍院士，法國工程院院士，歐洲科學院院士，法國科學院院士，美國人文與科學院院士，美國國家工程院外籍院士，法國Verimag實驗室榮譽科研主任，南方科技大學計算機科學與工程系傑出教授。^[1-2] ^[4-5]

約瑟夫·希發基思1964年—1969年就讀於雅典國家技術大學，畢業後獲得電子工程學士學位；1972年獲得法國格勒諾布爾大學計算機科學碩士學位；1979年獲得法國格勒諾布爾大學計算機科學博士學位；1974年—2011年任法國Verimag實驗室科研主任；2008年當選為法國工程院院士和歐洲科學院院士；2010年當選為法國科學院院士；2011年—2016年任瑞士聯邦理工學院教授；2015年當選為美國人文與科學院院士；2016年起任法國Verimag實驗室榮譽科研主任^[5] ；2017年當選為美國國家工程院外籍院士；2018年任南方科技大學計算機科學與工程系傑出教授^[4] ；2019年當選為中國科學院外籍院士。^[1-2]

約瑟夫·希發基思主要從事模型檢測及嵌入式系統設計與驗證等領域的研究。^[2]

中文名: 約瑟夫·希發基思
外文名: Joseph Sifakis
國籍: 法國
出生地: 希臘
出生日期: 1946年12月
畢業院校: 格勒諾布爾大學

職業

教育科研工作者

主要成就

2008年當選為法國工程院院士
2008年當選為歐洲科學院院士
2010年當選為法國科學院院士
2015年當選為美國人文與科學院院士
2017年當選為美國國家工程院外籍院士展開

主要成就: 2008年當選為法國工程院院士
2008年當選為歐洲科學院院士
2010年當選為法國科學院院士
2015年當選為美國人文與科學院院士
2017年當選為美國國家工程院外籍院士
2019年當選為中國科學院外籍院士收起

約瑟夫·希發基思人物經歷

約瑟夫·希發基思近照

1946年12月，約瑟夫·希發基思（Joseph Sifakis）出生於希臘。

1964年—1969年，就讀於雅典國家技術大學，畢業後獲得電子工程學士學位。

1970年—1972年，就讀於法國格勒諾布爾大學，畢業後獲得計算機科學碩士學位。

1973年—1979年，就讀於法國格勒諾布爾大學，畢業後獲得計算機科學博士學位。

1974年—2011年，任法國Verimag實驗室科研主任。

2008年，當選為法國工程院院士；同年，當選為歐洲科學院院士。

2010年，當選為法國科學院院士。

2011年—2016年，任瑞士聯邦理工學院教授。

2015年，當選為美國人文與科學院院士。

2016年起，任法國Verimag實驗室榮譽科研主任。^[5]

2017年，當選為美國國家工程院外籍院士。

2018年，任南方科技大學計算機科學與工程系傑出教授。^[4]

2019年，當選為中國科學院外籍院士。^[1-2]

約瑟夫·希發基思主要成就

約瑟夫·希發基思科研成就

科研綜述

約瑟夫·希發基思做學術報告

約瑟夫·希發基思（Joseph Sifakis）在1979年提出了通過對時序邏輯公式的計值來驗證併發系統性質的思想，得到了一系列理論結果，包括對含有“可能”和“必然”模態算子的分支時序邏輯的不動點刻劃。在此基礎上他進一步提出了帶有“until”算子的分支時序邏輯來表達“公平性”。他的這些工作與卡耐基梅隆大學Clarke教授、得克薩斯大學奧斯汀分校Emerson教授同時期的工作一起，為模型檢測這個研究領域的創立和發展奠定了理論基礎。模型檢測已被應用於計算機硬件、軟件、通信協議、安全認證協議等領域，取得了成功，成為分析、驗證併發系統性質的最重要的技術，被Intel、IBM、微軟等公司用於日常生產實踐中。^[2]

2019年，約瑟夫·希發基思牽頭組建了斯發基斯可信自主系統研究院。^[7]

約瑟夫·希發基思（Joseph Sifakis）在法國格勒諾布爾創建了國際嵌入式系統研究中心Verimag實驗室。^[3]

學術交流

時間	學術活動名稱	舉辦地
2019年5月	自我意識和自主系統人工智能學術研討會^[8]	深圳
2019年10月	人工智能與自動駕駛技術研討會^[6]	深圳
2019年10月	第二屆世界頂尖科學家論壇^[9]	上海

約瑟夫·希發基思人才培養

培養成果

據2022年10月中國科學院官網顯示，約瑟夫·希發基思（Joseph Sifakis）已指導培養了6名中國留學生和博士後，這些學生已成為中國科學院軟件所、浙江大學、軍事科學院等單位的科研骨幹。^[2]

約瑟夫·希發基思榮譽表彰

時間	榮譽表彰	授予單位
2001年	法國國家科學研究中心銀質獎章^[3]	法國國家科學研究中心
2007年	圖靈獎^[2]	美國計算機協會（ACM）
2008年	法國工程院院士^[2]	法國工程院
2008年	歐洲科學院院士^[2]	歐洲科學院
2009年	希臘議會和民主議會基金會獎^[5]	希臘議會和民主議會基金會
2010年	法國科學院院士^[2]	法國科學院
2012年	達芬奇獎章^[11]
2015年	美國人文與科學院院士^[2]	美國人文與科學院
2017年	美國國家工程院外籍院士^[2]	美國國家工程院
2019年	中國科學院外籍院士^[2]	中國科學院
	法國榮譽軍團勳章^[11]	法國政府