男，博士，北京語言大學(xué)外國語學(xué)院外國語言學(xué)與應(yīng)用語言學(xué)教授。英國約克大學(xué)(University of York)語言與語言科學(xué)系和計算機科學(xué)系訪問學(xué)者（2000年~2001年），美國加州州立大學(xué)長灘校區(qū)(California State University, Long Beach)語言學(xué)系訪問學(xué)者（2004年~2005年）。研究方向是理論語言學(xué)、計算語言學(xué)�，F(xiàn)階段主要從事基于形式化分析的句法和語義的接口問題研究。近年來的主要論著有：《句式的形式語義分析與計算》（2007）、論元控制謂詞與非論元控制謂詞的邏輯語義分析與計算（2006）、萊文森的空間參照系理論（2005）、試論漢語句式的形式語義分析方法（2005）、Non-compositional treatment in formal semantic analysis（2004）、“NP + 在 + 處所 + VP”句式的邏輯語義分析（2004）、量化詞轄域歧義在Prolog語言中的消歧方案（2004）、評萊文森的一般性談話隱涵理論：新格賴斯理論發(fā)展進(jìn)程中的一個里程碑（2004）、含有量化名詞詞組的及物性結(jié)構(gòu)的語義分析及其在自然語言處理中的實現(xiàn)問題（2004）。