1957年,从北京大学数学力学系毕业,被分配到中国科学院计算技术研究所工作,历任中国科学院计算技术研究所助理研究员,航天工业部骊山微电子技术研究所副研究员、副所长、研究员。
1959年,参加中国首批通用电子管计算机与晶体管计算机的逻辑设计。
1997年,当选为中国科学院院士。
1985年,项目《运载火箭计算机的总体逻辑设计》荣获“国家科技进步奖特等奖”。
1988年,荣获“国防专用国家级科技进步三等奖”、“国家科技进步三等奖”。
2016年,荣获“中国计算机学会终身成就奖”。