人工智能专家，主要从事计算机软件和人工智能的理论和工程实践研究。1938年10月出生于浙江省浦江县。1967年毕业于北京大学数学力学系，获硕士学位。

    2001年当选中国工程院院士。