数学家。

上海人。毕业于上海交通大学。法国斯特拉斯堡大学博士。历任北京大学教授，中科院数学研究所研究员、院士，中国数学会理事长。对拓扑学有重要贡献，并应用其成果解决了电子器件中的布线问题。还从事对策论、机器证明和中国古代数学史等方面的研究，取得一系列成果。