會議嘉賓
Joseph Sifakis
2007年圖靈獎獲得者、中國科學院外籍院士
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.
約瑟夫·希發基斯（Joseph Sifakis）
約瑟夫·希發基斯教授現任Verimag實驗室名譽研究主任，目前的研究領域包括自主系統設計的基礎和應用方面，重點關注自動駕駛汽車。
2011~2016年期間，約瑟夫·希發基斯教授一直擔任洛桑聯邦理工學院（EPFL）全職教授。他還是格勒諾布爾Verimag實驗室創始人，并擔任了13年的主任。Verimag實驗室是安全關鍵系統領域的領先實驗室。
2007年，約瑟夫·希發基斯教授獲得國際計算機界最高獎的“圖靈獎”，以表彰他在模型檢測的理論和應用上所做出的杰出貢獻，而模型檢測是應用最廣泛的系統驗證技術。
約瑟夫·希發基斯教授現任法國科學院院士、法國國家工程院院士、歐洲科學院院士、美國人文和科學院院士、美國工程院院士和中國科學院外籍院士。他曾獲得法國國家功勛勛章大軍官勛位，并擔任法國榮譽軍團、鳳凰社指揮官。2012年，榮獲達芬奇獎章。
