（1936- ）河南省汝南县人。曾用名井中。1954年进入北京大学数学力学系这习，1957年肄业，以后曾在北京清河农场等地劳动。1979年任中国科学技术大学数学系讲师，1981年升为副教授。1958年起在中国科学院成都分院工作，任数理科学研究室主任、研究员。计算机科学家、数学家和数学教育学家。0党员、中国科学院院士、计算机学科和数学学科博士生指导教师、中国科普作家协会理事长。现任广州大学计算机教育软件研究所所长，中国科学院成都计算机应用研究所名誉所长。91年开始享受0特殊津贴。曾获“全国优秀教师”等称号及“全国五一劳动奖章”。2009年到电子科技大学工作，任电子科技大学计算机推理与可信计算实验室主任。
