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