(法) 约瑟夫·希发基思的作品

约瑟夫·希发基思（Joseph Sifakis） 2007年“图灵奖”获得者，自主系统领域的专家，世界安全计算机系统发展的重要贡献者，创立了在嵌入式系统领域具有领先地位的 Verimag 实验室。 三国院士：法国科学院院士、法国国家工程院院士、欧洲科学院院士、美国艺术与科学学院院士及美国国家工程院院士、中国科学院外籍院士。 致力于在中国进行人工智能的学术研究和人才培养：担任清华大学计算机学科顾问委员会委员、南方科技大学杰出教授，牵头成立希发基思可信自主系统研究院（Research Institute of Trustworthy and Autonomous Systems, RITAS）并担任荣誉院长。亲自指导中国留学生和博士后，为中国科学院软件所、浙江大学、军事科学院等单位输送科研骨干。