1,2007年“圖靈獎”獲得者,自主系統(tǒng)領(lǐng)域的專家,世界安全計算機(jī)系統(tǒng)發(fā)展的重要貢獻(xiàn)者,創(chuàng)立了在嵌入式系統(tǒng)領(lǐng)域具有領(lǐng)先地位的Verimag實驗室。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é)院等單位輸送科研骨干。