北航金年會(huì)誠(chéng)信信譽(yù)至上教授。2003年國(guó)家杰出青年基金獲得者，2008年中國(guó)科學(xué)院百人計(jì)劃入選者。現(xiàn)任中國(guó)人工智能學(xué)會(huì)人工智能基礎(chǔ)專業(yè)委員會(huì)主任。
1993年中國(guó)科學(xué)院軟件研究所研究生畢業(yè)，獲博士學(xué)位。1993年7月-2018年7月在中國(guó)科學(xué)院軟件研究所工作，分別于1995，1999年被聘為副研究員、研究員。分別于1998年1月-1999年1月，2000年2月-2002年2月在英國(guó)Leeds大學(xué)做訪問(wèn)學(xué)者、研究員。2008年9月-2009年3月在美國(guó)Cornell大學(xué)做訪問(wèn)科學(xué)家。2012年1月-2012年3月，英國(guó)劍橋大學(xué)牛頓數(shù)學(xué)研究所做訪問(wèn)學(xué)者。2018年7月至今，就職金年會(huì)jinnianhuicom金年會(huì)誠(chéng)信信譽(yù)至上。
研究計(jì)算、信息與智能的數(shù)學(xué)原理。2008 - 2016年，提出編碼樹(shù)的概念、結(jié)構(gòu)熵的度量，創(chuàng)立了《結(jié)構(gòu)信息論》。2016 - 2024年，提出信息世界的層譜抽象科學(xué)范式，建立了包括信息演算理論、信息生成原理和信息解碼原理為三大支柱的信息數(shù)學(xué)原理；建立了包括（觀察）學(xué)習(xí)的信息理論、自我意識(shí)的信息理論和博弈/謀算理論為三大支柱的人工智能信息科學(xué)原理。2024年在科學(xué)出版社出版《人工智能科學(xué) — 智能的數(shù)學(xué)原理》和《人工智能原理 — 從計(jì)算到謀算的模型、原理與方法》專著。 目前主要研究“謀算智能機(jī)器原理”和“《孫子兵法》的人工智能原理”。
