安徽旌德人。数学家。学部委员（院士）。曾任北京大学教授、数学系主任，中国数学会名誉理事长等。主要从事莫尔斯临界点理论、复叠空间纤维丛以及不动点理论等领域的教学与研究。曾把拓扑学引入中国，并与其学生等建立了拓扑学的新的“中国学派”。为中国数学事业的发展培养了一批杰出人才。著有《拓扑学引论》、《不动点类理论》等。