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