所属学科: 软体与理论学科组;二级学科博士点：计算语言学

研究方向：汉语语料库加工技术，汉语内涵逻辑模型及其套用，基于概念内涵的智慧型检索（网际网路、图书情报），对话理解系统，语义web

1964年南京大学数理逻辑专业毕业，1981年南京大学数理逻辑专业获硕士学位，1981年至今在上海交通大学计算机系工作。1986年获副教授职称，1990年获教授职称，1993年为博士生导师。1991年至1992年底在德国柏林工业大学访问。现为上海师範大学语言研究所、贵州大学计算机系兼职教授、博士生导师。

从事新型程式语言、推理技术与定理证明器研究。现主要研究自然语言理解与语义理论。在汉语语义形式化工作方面有特色。 主持过的国家级科研项目包括：“方程式语言”，国家自然科学基金，1988至1992年；“智慧型语言的执行机制研究”，国家自然科学基金，1991至1992年；“汉语语义计算框架结构研究”，国家自然科学基金，1996至1997年；“高阶逻辑定理证明技术”，国家自然科学基金，1997至1999年；“语义解释的智慧型计算理论”，国家863项目，1994至1995年；“自然语言处理中的语义和语用——汉语计算语义形式化”，国家863项目，1999至2000年。“汉语水平测试机助自适应考试框架研究和系统开发”，国家汉办项目，1999至2000年。

目前主要研究课题有：“双语机器翻译及语料库句法分析”、“汉语辞书编纂系统”“汉语水平考试HSK机助自适应系统”、“汉语平衡语料库建设与加工技术”、“汉语句法分析器研究”、“实用对话理解系统（电话/网际网路）”、“汉语LFG分析器”、“汉语语义电子词典”、“汉语语义模型及分析技术”。最新研究课题：汉语概念内涵逻辑模型、基于概念内涵的智慧型检索（面向新一代网际网路、图书情报检索）、手持设备语音文字处理技术、多语种複合结构自动对齐。

着色归结、PI碰撞，计算机学报1987,vol.10,No.12.

程式变换中的终止性保持问题，计算机学报1988,vol.11,No.4.

定理证明环境KTPE系统的实现与套用，计算机学报1988，vol.11,No.8.

具有代数运算元Lambda演算系统的模型构造，软体学报1990，vol.1,No.3.

重写系统和合流性，中国科学（A辑）1991,vol.1.

方程式语言及其实现，软体学报1992,vol.3,No.2.

模式化简序与重写系统的终止性，软体学报1992， vol.3,No.3.

动态逻辑与形式语义，全国第二届计算语言学会议，1993。

动态逻辑语义理论DLPW，ICCC’94，Singapore.

邻属关係与逻辑语义解释－兼议形式化方法，《世界汉语教学》，1996，第1期

寻求对外汉语教学和计算机共同适用的语义解释方法，第五届国际汉语教学讨论会论文选，北京大学出版社，1997。

隐含型语句函子的求解方法，全国第四届计算语言学会议，1997。

构造性逻辑作为自然语言的模型增长理论，软体学报，1997 Vol.8 No.3

基于配对方法的自动定理证明,软体学报1997， vol. 8,No. 4.

在情景模型下求解函子预设成分，语言文字套用，1998 No.2

基于轨迹的程式语义之一：轨迹与语义对象，软体学报，1998 Vol.9 No.5

从汉语句子中提取逻辑函子的一种方法，软体学报，1998 Vol.9 No.6

词典编纂计算机化的若干问题，语言文字套用，1999 No.2

一个汉语句法分析器的设计和实现, 全国第五届计算语言学联合学术会议，1999。

双向图分析器的改进, 全国第五届计算语言学联合学术会议，1999。

基于计算机理解的存现句的结构分类特徵及语义特徵，全国第五届计算语言学联合学术会议，1999。

一种可扩展的汉语指同求解方法，上海交通大学学报，1999 Vol.33 No.11

一种可训练的快速汉语部分句法分析方法，软体学报，2000.11

一种混合型的汉语篇章结构自动分析方法，软体学报，2000.11

基于XML的汉语语料库标準化建设，“中国XML2000技术研讨会”论文集，2000.12

“是”的内涵逻辑语义解释，“全国第六届计算语言学联合学术会议”论文集，2001.8

内涵时态逻辑的语义解释系统，“全国第六届计算语言学联合学术会议”论文集，2001.8

情景中汉语指示代词短语解释的形式化，“全国第六届计算语言学联合学术会议”论文集，2001.8

限定领域中汉语语义求解的方法——类型逻辑语义学套用初探，“全国第六届计算语言学联合学术会议”论文集，2001.8

汉语内涵逻辑及其套用，“辉煌二十年——中国中文信息学会二十周年学术会议”论文集，2001.11

在《中国科学》、《计算机学报》、《软体学报》等一级学报上发表论文40篇，其中多篇被EI、美国CCA摘引。