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