數學家。上海人。畢業于上海交通大學。法國斯特拉斯堡大學博士。歷任北京大學教授，中科院數學研究所研究員、院士，中國數學會理事長。對拓撲學有重要貢獻，并應用其成果解決了電子器件中的布線問題。還從事對策論、機器證明和中國古代數學史等方面的研究，取得一系列成果。