我校榮譽教授Joseph Sifakis教授當選中國科學院外籍院士
發布時間:2019-11-29  閱讀次數:1330

11月22日,2019年中國科學院院士增選名單正式公布,我校榮譽教授Joseph Sifakis教授當選中國科學院外籍院士。

 

 

華東師大校長錢旭紅為Joseph Sifakis教授頒發榮譽教授聘書

 

早在2004年,Sifakis教授就以學術交流的形式來訪過華東師大軟件學院;今年5月,他再訪華東師大,與師生暢談“自主系統”,并實地考察華東師范大學國家可信嵌入式軟件工程技術研究中心和上海工業控制系統安全創新功能型平臺,指導軟件學院科研基地的科研項目及產品。10月,Joseph Sifakis教授正式受聘華東師大榮譽教授,與華東師大在科學研究、成果轉化、人才培養等領域繼續深化合作。

 

今年5月,Joseph Sifakis來華東師大作學術報告

 

此前,Joseph Sifakis教授與華東師大軟件工程學院已建立了深入的合作關系。他與華東師大嵌入式軟件與系統系、上海工業控制系統安全創新功能型平臺的研究團隊已建立了常規化的合作交流,并已受聘成為上海工業控制系統安全創新功能型平臺的“首席科學顧問”,定期舉行每周一次的視頻會議,合作撰寫的文章也已投稿。

 

今年5月,Joseph Sifakis與何積豐院士探討學術問題

今年5月,Joseph Sifakis與華東師大研究團隊開展學術研討

 

Joseph Sifakis教授是法國國家科學研究中心研究總監、歐洲科學院院士、法國科學院院士、美國文理科學院院士、美國國家工程院院士。他創建的Verimag實驗室(UJF/CNRS/INPG)以嵌入式系統著稱世界,他發明的“模型檢查”技術廣泛應用于工業界。2007年,因其在模型檢查理論和應用方面做出的卓越貢獻,Joseph Sifakis榮獲美國計算機協會(ACM)授予的有“計算機界的諾貝爾獎”之稱的圖靈獎。

華東師范大學軟件工程學院
www.ejdbxe.live Copyright Software Engineering Institute
院長信箱:[email protected] | 院辦電話:021-62232550 | 學院地址:上海中山北路3663號理科大樓
曾道人玄机2018