理大高等研究院杰出讲座系列: 人工智能与自主系统

約瑟夫．斯發基斯教授為法國Verimag實驗室法國國家科學研究中心榮休高級研究員，其目前研究領域包括嵌入式系統設計基礎與應用，重點關注系統設計的形式化，從而實現可按需求進行可靠、優化、能按構建逐步校正的系統。 2011年至2016年期間，斯發基斯教授擔任洛桑聯邦理工學院（EPFL）的正教授。他創立格勒諾布爾Verimag實驗室，並擔任實驗室科研主任13年。Verimag是嵌入式系統領域的領先研究實驗室。該實驗室以開發SCAD工具的Lustre同步數據流語言（用於設計安全關鍵航空電子系統的語言）而聞名國際。 2007年，斯發基斯教授獲得電腦界的最高榮譽「圖靈獎」，以表彰他在模型檢測的理論和應用上的傑出貢獻，而模型檢測是當今最廣泛應用的系統驗證技術。 斯發基斯教授在法國和歐洲肩負多項重要行政和管理職務。十年來，他擔任ARTIST歐洲卓越網絡的科學統籌，積極推動歐洲嵌入式系統研究。他曾參與多個由空中巴士公司、歐洲宇航防務集團、法國電信和意法半導體等企業領導的重大工業項目。 斯發基斯教授現任法國科學院院士、法國國家工程院院士、歐洲科學院院士、美國人文和科學院院士、美國工程院院士和中國科學院外籍院士。他曾獲授予法國國家功勳大軍官勳章、法國榮譽軍團指揮官勳章。2012年，他獲李安納度．達文西獎章。 2009年，斯發基斯教授獲頒希臘國會議會及民主基金會獎項。他亦獲希臘鳳凰指揮官勳章。 2014年2月至2016年4月期間，斯發基斯教授為希臘科學技術委員會主席。