1955年，从北京大学数学力学系毕业后先后进入中国科学院力学研究所、中国科学院自动化研究所工作。
1980年，被选为国家首批派出赴美访问学者。
1991年，当选中国科学院学部委员（院士）。
1993年 - 1998年，担任中国科学院技术科学部副主任。
2017年起，先后当选广州国际人工智能研究院学术委员会主席，中国科学院学部主席团成员、信息技术科学部副主任、道德委员会委员，中国中医科学院中医药国际联盟委员等职务。
1991年，当选中国科学院学部委员（院士）。
2001年，获得“国家科技进步一等奖”。
2002年，获得“何梁何利基金科学与技术进步奖”
2010年，获得“中国模式识别科技终身成就奖”。
2016年，获得“中国系统工程终身成就奖”。
《人工智能》
《社会智能科学》
《人类共创的智慧》
《智能自动化丛书》
《语义、句法模式识别及其应用》
