湖南衡山人。1942年西南联合大学毕业。1952 年获美国芝加哥大学研究生院数学博士学位。1956年回国任北京大学数学系、数学研究所教授。1986年选为第三世界科学院院士，1991年当选为中国科学院数学物理学部委员，1994年改称中科院院士。专于代数拓扑和微分动力系统领域的研究。1982年、1987年分别获国家自然成果奖二等奖、三等奖，1986年获第三世界科学院数学奖。著有《同伦论基础》（合作）、《微分动力系统的定性理论》等。