1,2007年“圖靈獎”獲得者,自主系統(tǒng)領(lǐng)域的專家,世界安全計算機系統(tǒng)發(fā)展的重要貢獻者,創(chuàng)立了在嵌入式系統(tǒng)領(lǐng)域具有領(lǐng)先地位的Verimag實驗室。2,法國科學院院士、法國國家工程院院士、歐洲科學院院士、美國藝術(shù)與科學學院院士及美國國家工程院院士、中國科學院外籍院士。3,致力于在中國進行人工智能的學術(shù)研究和人才培養(yǎng):擔任清華大學計算機學科顧問委員會委員、南方科技大學杰出教授,牽頭成立希發(fā)基思可信自主系統(tǒng)研究院(Research Institute of Trustworthy and Autonomous Systems, RITAS) 并擔任榮譽院長。親自指導中國留學生和博士后,為中國科學院軟件所、浙江大學、軍事科學院等單位輸送科研骨干。