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