数学家。浙江宁波人。1955年毕业于复旦大学数学系。中国科学院计算数学与科学工程计算研究所研究员，国家攀登项目“大规模科学与工程计算”首席科学家。50年代末，建立了一种将变分原理和摄动理论相结合的新算法并算出氦原子最低能态的良好近似值；研究了矩阵特征值的定位问题，得到精度很高的上下界估计公式。70年代中期以来，从事有限元的理论研究和应用，首创的样条有限元被广泛应用于实际计算并引发了大量后继工作；研究非协调元的收敛性，证明国际上流行的一种检验方法既非必要也不充分，并提出新的判别准则；发现非协调元的一系列奇特的错向收敛性质，从理论上证实了早期工程计算中观察到的现象；分析并证明多种在应用上极有价值的非协调元的收敛性，奠定了它们的理论基础。1991年当选为中国科学院院士（学部委员）。