約瑟夫·斯發(fā)基斯（Joseph Sifakis）是一位杰出的希臘裔法國計(jì)算機(jī)科學(xué)家，以其在模型檢測和嵌入式系統(tǒng)領(lǐng)域的開創(chuàng)性工作而聞名。斯發(fā)基斯出生于1946年，在希臘的雅典國立技術(shù)大學(xué)學(xué)習(xí)電機(jī)工程學(xué)，并在法國格勒諾布爾大學(xué)學(xué)習(xí)計(jì)算機(jī)科學(xué)，獲得了工程博士學(xué)位和國家博士學(xué)位。他是法國國家科學(xué)研究中心（CNRS）VERIMAG實(shí)驗(yàn)室的名譽(yù)研究主任及創(chuàng)始人，并在多個(gè)國際學(xué)術(shù)機(jī)構(gòu)中擔(dān)任重要職務(wù)。
人物經(jīng)歷
1964年—1969年，就讀于雅典國家技術(shù)大學(xué)，畢業(yè)后獲得電子工程學(xué)士。
1970年—1972年，就讀于法國格勒諾布爾大學(xué)，畢業(yè)后獲得計(jì)算機(jī)科學(xué)碩士學(xué)位。
1973年—1979年，就讀于法國格勒諾布爾大學(xué)，畢業(yè)后獲得計(jì)算機(jī)科學(xué)博士學(xué)位。
1974年—2011年，任法國Verimag實(shí)驗(yàn)室科研主任。
2008年，當(dāng)選為法國工程院院士；同年，當(dāng)選為歐洲科學(xué)院院士。
2010年，當(dāng)選為法國科學(xué)院院士。
2011年—2016年，任蘇黎世聯(lián)邦理工學(xué)院教授。
2015年，當(dāng)選為美國藝術(shù)與科學(xué)院院士。
2016年起，任法國Verimag實(shí)驗(yàn)室榮譽(yù)科研主任。
2017年，當(dāng)選為美國國家工程院外籍院士。
2018年，任南方科技大學(xué)計(jì)算機(jī)科學(xué)與工程系杰出教授。
2019年，當(dāng)選為中國科學(xué)院外籍院士。
2021年7月，斯發(fā)基斯參加了世界人工智能大會(huì)。
人物成就
科研成就
約瑟夫希發(fā)基思（Joseph Sifakis）在1979年提出了通過對(duì)時(shí)序邏輯公式的計(jì)值來驗(yàn)證并發(fā)系統(tǒng)性質(zhì)的思想，得到了一系列理論結(jié)果，包括對(duì)含有“可能”和“必然”模態(tài)算子的分支時(shí)序邏輯的不動(dòng)點(diǎn)刻劃。在此基礎(chǔ)上他進(jìn)一步提出了帶有“until”算子的分支時(shí)序邏輯來表達(dá)“公平性”。他的這些工作與卡耐基·梅隆大學(xué)Clarke教授、得克薩斯大學(xué)奧斯汀分校Emerson教授同時(shí)期的工作一起，為模型檢測這個(gè)研究領(lǐng)域的創(chuàng)立和發(fā)展奠定了理論基礎(chǔ)。模型檢測已被應(yīng)用于計(jì)算機(jī)硬件、軟件、通信協(xié)議、安全認(rèn)證協(xié)議等領(lǐng)域，取得了成功，成為分析、驗(yàn)證并發(fā)系統(tǒng)性質(zhì)的最重要的技術(shù)，被英特爾、IBM、微軟等公司用于日常生產(chǎn)實(shí)踐中。
2019年，約瑟夫·希發(fā)基思牽頭組建了斯發(fā)基斯可信自主系統(tǒng)研究院。
約瑟夫·希發(fā)基思（Joseph Sifakis）在法國格勒諾布爾創(chuàng)建了國際嵌入式系統(tǒng)研究中心Verimag實(shí)驗(yàn)室。
人才培養(yǎng)
據(jù)2022年10月中國科學(xué)院官網(wǎng)顯示，約瑟夫希發(fā)基思（Joseph Sifakis）已指導(dǎo)培養(yǎng)了6名中國留學(xué)生和博士后，這些學(xué)生已成為中國科學(xué)院軟件所、浙江大學(xué)、軍事科學(xué)院等單位的科研骨干。
榮譽(yù)表彰
社會(huì)任職
人物評(píng)價(jià)
約瑟夫·希發(fā)基思是歐洲嵌入式系統(tǒng)研究的先驅(qū)，他對(duì)模型檢測做出了開創(chuàng)性貢獻(xiàn)（中國科學(xué)院評(píng)）。
約瑟夫·希發(fā)基思（Joseph Sifakis）對(duì)模型檢查理論與技術(shù)做出了奠基性貢獻(xiàn)（美國計(jì)算機(jī)協(xié)會(huì)評(píng)）。
參考資料 >