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