浙江平阳人，数学家。主要从事微分几何学、计算几何学研究，创立了国内外公认的微分几何学派。早期在仿射微分几何学和射影微分几何学研究方面取得出色成果，其后在一般空间微分几何学、高维空间共轭理论、几何外型设计、计算机辅助几何设计等方面取得突出成就。

1955年当选中国科学院学部委员(院士)。