计算机软件专家，主要从事计算机软件理论及应用研究。1943年8月生于上海市。1965年毕业于复旦大学数学系。2005年当选为中国科学院院士。