約瑟夫·希發基思（Joseph Sifakis），1946年12月出生於希臘，希臘和法國雙重國籍，計算機科學家，中國科學院外籍院士，法國工程院院士，歐洲科學院院士，法國科學院院士，美國人文與科學院院士，美國國家工程院外籍院士，法國Verimag實驗室榮譽科研主任，南方科技大學計算機科學與工程系傑出教授。
約瑟夫·希發基思1964年—1969年就讀於雅典國家技術大學，畢業後獲得電子工程學士學位；1972年獲得法國格勒諾布爾大學計算機科學碩士學位；1979年獲得法國格勒諾布爾大學計算機科學博士學位；1974年—2011年任法國Verimag實驗室科研主任；2008年當選為法國工程院院士和歐洲科學院院士；2010年當選為法國科學院院士；2011年—2016年任瑞士聯邦理工學院教授；2015年當選為美國人文與科學院院士；2016年起任法國Verimag實驗室榮譽科研主任；2017年當選為美國國家工程院外籍院士；2018年任南方科技大學計算機科學與工程系傑出教授；2019年當選為中國科學院外籍院士。
約瑟夫·希發基思主要從事模型檢測及嵌入式系統設計與驗證等領域的研究。
基本介紹
人物經歷,主要成就,科研成就,人才培養,榮譽表彰,社會任職,人物評價,
人物經歷
1946年12月，約瑟夫·希發基思（Joseph Sifakis）出生於希臘。
約瑟夫·希發基思近照
1964年—1969年，就讀於雅典國家技術大學，畢業後獲得電子工程學士學位。
1970年—1972年，就讀於法國格勒諾布爾大學，畢業後獲得計算機科學碩士學位。
1973年—1979年，就讀於法國格勒諾布爾大學，畢業後獲得計算機科學博士學位。
1974年—2011年，任法國Verimag實驗室科研主任。
2008年，當選為法國工程院院士；同年，當選為歐洲科學院院士。
2010年，當選為法國科學院院士。
2011年—2016年，任瑞士聯邦理工學院教授。
2015年，當選為美國人文與科學院院士。
2016年起，任法國Verimag實驗室榮譽科研主任。
2017年，當選為美國國家工程院外籍院士。
2018年，任南方科技大學計算機科學與工程系傑出教授。
2019年，當選為中國科學院外籍院士。
主要成就
科研成就
- 科研綜述
約瑟夫·希發基思（Joseph Sifakis）在1979年提出了通過對時序邏輯公式的計值來驗證並發系統性質的思想，得到了一系列理論結果，包括對含有“可能”和“必然”模態運算元的分支時序邏輯的不動點刻劃。在此基礎上他進一步提出了帶有“until”運算元的分支時序邏輯來表達“公平性”。他的這些工作與卡耐基梅隆大學Clarke教授、德克薩斯大學奧斯汀分校Emerson教授同時期的工作一起，為模型檢測這個研究領域的創立和發展奠定了理論基礎。模型檢測已被套用於計算機硬體、軟體、通信協定、安全認證協定等領域，取得了成功，成為分析、驗證並發系統性質的最重要的技術，被Intel、IBM、微軟等公司用於日常生產實踐中。
約瑟夫·希發基思做學術報告
2019年，約瑟夫·希發基思牽頭組建了斯發基斯可信自主系統研究院。
約瑟夫·希發基思（Joseph Sifakis）在法國格勒諾布爾創建了國際嵌入式系統研究中心Verimag實驗室。
- 學術交流
人才培養
- 培養成果
據2022年10月中國科學院官網顯示，約瑟夫·希發基思（Joseph Sifakis）已指導培養了6名中國留學生和博士後，這些學生已成為中國科學院軟體所、浙江大學、軍事科學院等單位的科研骨幹。
榮譽表彰
時間 | 榮譽表彰 | 授予單位 |
|---|---|---|
2001年 | 法國國家科學研究中心銀質獎章 | |
2007年 | 美國計算機協會（ACM） | |
2008年 | 法國工程院院士 | 法國工程院 |
2008年 | ||
2009年 | 希臘議會和民主議會基金會獎 | 希臘議會和民主議會基金會 |
2010年 | 法國科學院院士 | |
2012年 | 達文西獎章 | |
2015年 | 美國人文與科學院院士 | |
2017年 | 美國國家工程院外籍院士 | |
2019年 | 中國科學院外籍院士 | |
社會任職
時間 | 擔任職務 |
|---|---|
2014年—2016年 | 希臘科學技術委員會主席 |
2017年8月 | 清華大學計算機學科顧問委員會委員 |
人物評價
“約瑟夫·希發基思是歐洲嵌入式系統研究的先驅，他對模型檢測做出了開創性貢獻。”（中國科學院評）
約瑟夫·希發基思在學術會議上發言
“約瑟夫·希發基思（Joseph Sifakis）對模型檢查理論與技術做出了奠基性貢獻。”（美國計算機協會評）
