数学家。江苏南通人。1941年毕业于清华大学数学系。1949年在斯特拉斯堡大学获法国国家科学博士学位，南开大学教授。我国最早从事微分与积分几何研究的学者之一，1939年即与陈省身合作建立了积分几何运动的基本公式：陈－严公式，成为积分几何的经典理论之一。在李群李代数及其在微分几何上应用的研究中获突破性进展，1949年确定了例外单李群的betti数而在国际数学界引起震动，并解决了非紧致对称空间分类这一重要问题。对齿轮啮合理论及其应用作了深入研究，应用微分几何澄清了许多重要概念，导出了“诱导曲率公式”，对我国齿轮工业的发展起了重要作用。
1993年当选为中国科学院院士。
