2011年7月中国社会科学院研究生院哲学系
博士后导师：周昌乐教授
研 究 方向：基于动态认知缺省逻辑的机器人认知概念推理
入站前（博士期间）主要科研成果（包括课题、奖励）：
（一）研究课题
1、2010年国家社科基金重大招标项目（2010.12—2015，批号10&ZD073）：自然语言信息处理的逻辑语义学研究，本人是该课题的核心骨干成员，已经为该课题投稿3篇。
2、2009年国家社会科学基金项目（2009—2011，批号09BZX046）：面向自然语言信息处理的范畴类型逻辑研究，课题组成员，已经为该课题发表论文4篇。
3、2006年国家社会科学基金项目（批号06BZX051）：自然语言逻辑系列研究，课题组成员
已经为该课题写出4万字的《广义量词理论》部分，并为该课题发表了3篇论文。
4、2006年北京市哲学社会科学“十一五”规划项目（批号06BaZX022）：逻辑语义学研究，课题组成员，已经为该课题写出5万字的《动态谓词逻辑》部分、4万字的《动态蒙太格语法》部分，并为该课题发表了2篇论文。
（二）已发表论文
1、“Symmetry of Generalized Quantifiers and Other Related Properties”, archived by the Conference “Non-classical Logic: Theory and Applications III” in Toruń, Poland, September 2010, pp1-9，唯一作者；
2、广义量词的相关性质研究，《逻辑学研究》，2010年第3期，第67-79页；该文被人大复印资料《逻辑》2011年第1期第3-9页全文转载，唯一作者；
3、动态谓词逻辑的动态机制，《哲学动态》，2010年第9期，第83-89页，第一作者；
4、动态逻辑：关于程序的模态逻辑，《哲学动态》2009年第11期，第90-94页，第二作者；
5、论模态逻辑中的嵌入问题，《西南大学学报（社会科学版）》，2011年第1期，第
61-66页，唯一作者；
6、广义量词的单调性与数字三角形，《重庆理工大学学报（社科版）》，2010年第24卷第3期，第18-24页，第一作者；
7、广义量词的单调性及其检测方法，载于《中国分析哲学2009》，浙江大学出版社，2010年6月出版，第101-113页，第一作者；