1940年 本科畢業於上海交通大學；
1946年 在中央研究院數學所工作、在陳省身先生指導下開始從事拓撲學研究；
1947年 赴法國斯特拉斯堡大學留學，師從埃里斯曼與嘉當；
1949年 獲得法國國家博士學位，隨後在法國國家科學中心任研究員；
1951年 回國工作，在北京大學數學系任教授；
1952年 到中國科學院數學研究所任研究員；
1957年 當選為中國科學院學部委員(院士)；
1958年 參與創辦中國科學技術大學應用數學和計算技術系；
1980年 轉入中國科學院系統科學所；
1985年-1987年 任中國數學會理事長；
1993年 開始任中國科學院系統科學所名譽所長；
1998年 轉入新成立的中國科學院數學與系統科學研究院；
2002年 任國際數學家大會主席。