计算机软件专家，主要从事分布式计算、理论计算机科学研究。1937年11月1日生于上海。1958年毕业于北京大学数学力学系，1967年研究生毕业于中国科学院计算技术研究所。1993年当选为中国科学院院士。