人工智能專家,主要從事計(jì)算機(jī)軟件和人工智能的理論和工程實(shí)踐研究。1938年10月出生于浙江省浦江縣。1967年畢業(yè)于北京大學(xué)數(shù)學(xué)力學(xué)系,獲碩士學(xué)位。
2001年當(dāng)選中國(guó)工程院院士。