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