数学家，主要从事微分拓扑、低维拓扑的量子不变量、非标准分析和广义函数等的研究。1942年7月生于浙江乐清。1965年毕业于中国科学技术大学数学系。2001年当选为中国科学院院士。