【介绍】：

中国科学院学部委员。

着名数学家。男，1915年出生，河北安平人。

吉林大学教授、副校长。1937年北京大学数学系毕业，1949年获美国普林斯顿大学博士学位。

主要贡献：原主要从事代数数论和赋值论方面的研究，60年代开始着重研究自动机理论和多值逻辑，後又从事人工智能的研究。近十余年来，参加了台式电子计算机软件方面的研制，在属于人工智能的定理机器证明方面也取得了一些阶段性成果。注意培养人才，其许多学生已成为国内科研骨干，有的成为知名专家。

主要着述：《论Gru-Snwald定理》、「On the Cominutator Group of a Simplc Algebra」、《有限集合上缺值及不缺值函数的结构理论》等论着20余篇。