中国数学家。河北安平人。北京大学毕业，1949年获美国普林斯顿大学博士学位。归国后任北京大学教授。1952年调任吉林大学教授，历任该校数学系和计算机科学系主任、副校长。1955年当选为中科院数学物理学化学部委员。主要研究代数学和计算机科学。曾指出代数中格伦威尔秅淼拇砦螅⑹怪晟啤?0年代初，开展自动机理论研究，是中国人工智能领域的早期开拓者之一。著有《高等代数》、《近世代数》、《离散数学》等。
