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