會(huì)議嘉賓
Joseph Sifakis
2007年圖靈獎(jiǎng)獲得者、中國科學(xué)院外籍院士
Joseph Sifakis has been a full professor at Ecole Polytechnique Fédérale de Lausanne (EPFL) for the period 2011-2016. He is the founder of the Verimag laboratory in Grenoble, a leading laboratory in the area of safety critical systems that he directed for 13 years.
In 2007, Joseph Sifakis received the Turing Award, recognized as the "highest distinction in computer science", for his contribution to the theory and application of model checking, the most widely used system verification technique.
Joseph Sifakis is a member of the French Academy of Sciences, a member of the French National Academy of Engineering, a member of Academia Europea, a member of the American Academy of Arts and Sciences, a member of the National Academy of Engineering and a member of the Chinese Academy of Sciences. He is a Grand Officer of the French National Order of Merit, a Commander of the French Legion of Honor. He is a Commander of the Order of the Phoenix. He has received the Leonardo da Vinci Medal in 2012.
約瑟夫·希發(fā)基斯（Joseph Sifakis）
約瑟夫·希發(fā)基斯教授現(xiàn)任Verimag實(shí)驗(yàn)室名譽(yù)研究主任，目前的研究領(lǐng)域包括自主系統(tǒng)設(shè)計(jì)的基礎(chǔ)和應(yīng)用方面，重點(diǎn)關(guān)注自動(dòng)駕駛汽車。
2011~2016年期間，約瑟夫·希發(fā)基斯教授一直擔(dān)任洛桑聯(lián)邦理工學(xué)院（EPFL）全職教授。他還是格勒諾布爾Verimag實(shí)驗(yàn)室創(chuàng)始人，并擔(dān)任了13年的主任。Verimag實(shí)驗(yàn)室是安全關(guān)鍵系統(tǒng)領(lǐng)域的領(lǐng)先實(shí)驗(yàn)室。
2007年，約瑟夫·希發(fā)基斯教授獲得國際計(jì)算機(jī)界最高獎(jiǎng)的“圖靈獎(jiǎng)”，以表彰他在模型檢測的理論和應(yīng)用上所做出的杰出貢獻(xiàn)，而模型檢測是應(yīng)用最廣泛的系統(tǒng)驗(yàn)證技術(shù)。
約瑟夫·希發(fā)基斯教授現(xiàn)任法國科學(xué)院院士、法國國家工程院院士、歐洲科學(xué)院院士、美國人文和科學(xué)院院士、美國工程院院士和中國科學(xué)院外籍院士。他曾獲得法國國家功勛勛章大軍官勛位，并擔(dān)任法國榮譽(yù)軍團(tuán)、鳳凰社指揮官。2012年，榮獲達(dá)芬奇獎(jiǎng)?wù)隆?/p>