欧美激情伦妇在线观看,伊人国产在线视频,亚洲欧美日本一区,国产高清在线精品一区二区

男，希臘和法國雙國籍，計算機科學(xué)家。1946年12月出生于希臘，1969年獲雅典技術(shù)大學(xué)電子工程學(xué)士學(xué)位，1974年獲法國格勒諾布爾大學(xué)計算機科學(xué)博士學(xué)位。2007年獲國際計算機界最高獎“圖靈獎”。2008年當選法國工程院院士和歐洲科學(xué)院院士，2010年當選法國科學(xué)院院士，2015年當選美國人文和科學(xué)院院士，2017年當選美國工程院外籍院士。現任法國國家科學(xué)中心主任研究員。

希發(fā)基思教授的主要研究領(lǐng)域是模型檢測及嵌入式系統設計與驗證。他在1979年提出了通過(guò)對時(shí)序邏輯公式的計值來(lái)驗證并發(fā)系統性質(zhì)的思想，得到了一系列理論結果，包括對含有“可能”和“必然”模態(tài)算子的分支時(shí)序邏輯的不動(dòng)點(diǎn)刻劃。在此基礎上他進(jìn)一步提出了帶有“until”算子的分支時(shí)序邏輯來(lái)表達“公平性”。他的這些工作與卡耐基梅隆大學(xué)Clarke教授、得克薩斯大學(xué)奧斯汀分校Emerson教授同時(shí)期的工作一起，為模型檢測這個(gè)研究領(lǐng)域的創(chuàng )立和發(fā)展奠定了理論基礎。模型檢測已被應用于計算機硬件、軟件、通信協(xié)議、安全認證協(xié)議等領(lǐng)域，取得了巨大的成功，成為分析、驗證并發(fā)系統性質(zhì)的最重要的技術(shù)，被Intel、IBM、微軟等公司用于日常生產(chǎn)實(shí)踐中。由于對模型檢測的開(kāi)創(chuàng )性貢獻，他與Clarke教授、Emerson教授分享了2007年圖靈獎。

希發(fā)基思教授是歐洲嵌入式系統研究的先驅。嵌入式系統廣泛存在于航天、航空、汽車(chē)、火車(chē)、通信、醫療、武器等安全攸關(guān)的領(lǐng)域。他提出了首個(gè)面向帶時(shí)間分支時(shí)序邏輯TCTL的符號模型檢測算法，以該算法為基礎實(shí)現了適用于實(shí)時(shí)系統模型檢測的驗證工具Kronos。從2004年至2012年，希發(fā)基思教授擔任歐盟“卓越網(wǎng)絡(luò )” ARTIST嵌入式系統研究聯(lián)盟的科學(xué)協(xié)調人，負責協(xié)調歐洲35個(gè)實(shí)時(shí)與混成系統領(lǐng)域研究小組的工作。

希發(fā)基思教授對中國懷有深厚的感情。他親自指導了六名中國留學(xué)生和博士后。這些學(xué)生已成為中國科學(xué)院軟件所、浙江大學(xué)、軍事科學(xué)院等單位的科研骨干。在他擔任歐盟ARTIST嵌入式系統研究聯(lián)盟科學(xué)協(xié)調人期間，極力推動(dòng)歐盟與中國在該領(lǐng)域的合作。在他領(lǐng)導下，該研究聯(lián)盟從2006年至2011年在中國舉辦了六屆嵌入式系統設計講習班，使用歐盟的經(jīng)費，邀請國際上嵌入式系統的知名專(zhuān)家為國內的研究生和青年學(xué)者講課。希發(fā)基思教授頻繁來(lái)中國開(kāi)展學(xué)術(shù)訪(fǎng)問(wèn)，在中國科學(xué)院軟件所、計算所、清華大學(xué)、北京大學(xué)、西北工業(yè)大學(xué)、東北大學(xué)、哈爾濱工業(yè)大學(xué)、華東師范大學(xué)、深圳大學(xué)、華為公司等處做學(xué)術(shù)報告。2017年8月至今, 他擔任清華大學(xué)計算機學(xué)科顧問(wèn)委員會(huì )委員。2019年1月開(kāi)始，他出任南方科技大學(xué)杰出教授。