中国科学院研究员，1930年生  。河南辉县人。1959年北京大学数学力学系毕业。先后在中国科学院数学研究所、计算技术研究所、软件研究所任研究实习员、助理研究员、副研究员、研究员。现任中国科学院软件研究所研究员。1989～1991年先后两次到捷克斯洛伐克科学院国际人工智能实验室工作。中国数学会数理逻辑专业委员会委员，中国人工智能协会理事，《纯粹与应用逻辑年鉴》主编，《智能系统国际杂志》(英文)与《应用智能国际杂志》(英文)编委。主要从事数理逻辑、公理集合论、人工智能逻辑等方面的研究，著有《集合论与连续统假设浅说》 (上海教育出版社1980年)、《公理集合论导引》(科学出版社1991年)、《离散数学引论》(合著，天津科学技术出版社1986年)等，发表《模糊集合论与布尔值集合论的统一处理》、《聚合、序量与基量》、《公理系统ACG的层谱》等论文数十篇。1984年任中央电大集合论与逻辑代数课程主讲教师，并编写教材《集合论浅说》(科学出版社1984年)、《集合论学习手册》(中央广播电视大学出版社1984年)、《逻辑代数》(合著，科学出版社1984年)等。  1993年因病去世。 

主要从事数理逻辑、公理集合论、人工智能逻辑等方面的研究