批赴苏联进修学者，攻读计算数学。1960年，回国，任职于中国科学院计算技术研究所。1965年至1986年间，任教于中国科学技术大学数学系。1987年至1991年间，任中国科学院计算中心主任。1997年，任上海交通大学理学院院长。2003年获得华罗庚数学奖。