，主修电机、物理、数学三系主课，1944年毕业。1945年任教于复旦大学。1946年任教于清华大学物理系和数学系。1951年起在中国科学院数学研究所工作，其间1951至1953年在苏联斯捷克洛夫数学研究所进修。这一时期中先后受教于当代知名数学家陈省身、华罗庚和列夫·庞特里亚金。1957年至1978年在中国科学院计算技术研究所三室任副研究员、研究员；1978年至1987年任中国科学院计算中心主任，1987年后任该中心名誉主任。1993年8月17日因后脑大面积蛛网膜出血逝世。1980年当选为中国科学院学部委