学院数学系，随后在中央大学留校任助教两年，1941年转中山大学做数学系讲师，1944年两广沦陷时曾到玉林中学任英语讲师，1945年抗战胜利回中央大学做讲师。 1947年考取公费赴瑞士洛桑大学，第二年转入瑞士国立高等工业学校，后法国巴黎大学留学深造，研究数理逻辑，师从数理逻辑大师(Paul Bernays)，后者是二十世纪数学领袖大卫·希尔伯特学生、助理和亲密合作者。 中华人民共和国成立后，1950年回国，到南京大学任教，先后担任数学系副教授、教授、博士生导师，1958年在孙钟秀等协助下于创建中国第一个数