上海交通大学教授

个人简介

职称： 教授

所属学科: 软件与理论学科组

研究方向：计算机科学中的逻辑

博士，教授。1981年毕业于华东师范大学数学系，师从程其襄。主修数理逻辑与数学基础，获硕士学位；1985年至1988年于北京师范大学数学系，师从王世强，主攻模型论。获博士学位；1989年至1991年获Volkswagen Stiftung在联邦德国Freiburg 大学逻辑研究所作博士后的研究，师从H.-D.Ebbinghaus,学习模型论逻辑与有限模型论。1993年底进入上海交通大学计算机系，工作至今。

曾主持二项国家自然科学基金项目：“分划逻辑在计算机科学中的应用”，1995年至1997年，1998年结题时被基金委信息学部专家组评为特优项目；“一类新的时态逻辑框架”，1997年至1999年。

发表文章

Z-自动机与分划逻辑，数学学报 Vol.41 No.1 (1998) (与别荣芳合作)

有限状态可识别性与分划逻辑，《国家自然科学基金资助项目研究成果年报》信息科学专辑，（1998）

大小EC结构的可判定性，数学学报，40（1997），No.3.

模型论逻辑与理论计算机科学，数学进展，24（1996）， No.3.

命题时态逻辑的分划式扩充，软件学报 vol.7 (1996)（增刊）.

L(P1,1)和正则语言，计算机学报 19（1996）,No.11. (与田启家，史忠植合作)

分划逻辑与着色卵石博弈 数学进展，24 (1995) No.6

分划逻辑与树型自动机 in《理论计算机科学进展》陈火旺等编（1994）

分划逻辑与传递闭包逻辑，科学通报，38（1993），No.14.

The decidability of finite forcing companion. Chinese Ann. of Pure & appl. Logic,2 (1992).

一类具有量词消去性质的偏序结构，科学通报 37（1992）No.23

有限力迫伴随的可判定性,科学通报，35（1990），No.15.

有限弱力迫的布尔值模型表示，北师大学报 （1990）No.3