中国科学院数学所研究员（），在拓扑学的示性类和示嵌类、数学机械化等领域中作出了重要贡献，是首届国家科学技术最高奖得主。

A.华罗庚

B.王元

C.吴文俊

D.秦元勋