国巴黎大学留学深造，研究数理逻辑，师从数理逻辑大师(Paul Bernays)，后者是二十世纪数学领袖大卫·希尔伯特学生、助理和亲密合作者。 中华人民共和国成立后，1950年回国，到南京大学任教，先后担任数学系副教授、教授、博士生导师，1958年在孙钟秀等协助下于创建中国第一个数理逻辑专业，任数理逻辑教研室主任。作为中国数理逻辑教育和研究的开拓者之一，是中国第一批博士生导师，他在1965年出版的《数理逻辑导论》、1980年《数理逻辑初步》和1982年《数理逻辑教程》是中国最早的数理逻辑教材，既是他的