副教授办公电话：电子邮件：manhaixia@ustb.edu.cn本科课程：基础外语、英语语音与实践、英语词汇学、跨文化交流、名篇翻译鉴赏研究生课程：实用文体翻译、法律法规翻译、语言学专题、英汉科技笔译科研方向：一直主要从事逻辑语义学研究，尤其对范畴类型逻辑及其组合范畴语法有深入探讨科研业绩论文：[1]《组合范畴语法的量词辖域歧义研究新思路》，《哲学动态》，2015（8），第一作者；
[2]《乔姆斯基层级与自然语言语法-从短语结构语法到非转换语法》，《外国语文》，2015（3），第一作者；
[3]《蒙太格语法框架下的汉语被动句分析》，《外国语文》，2014（4），第二作者；
[4]《关于逻辑语义学的句法系统》，《安徽大学学报》，2014（7），独立作者；
[5]《汉语把字句及相关句式的CCG形式计算》，《湖北大学学报》，2013（6），独立作者（人大复印资料全文转载）；
[6] 《VP的有界性与连动式的事件结构》，《现代外语》，2013（2），第二作者；
[7]《组合范畴语法与其计算特征》，《毕节学院学报》，2013（6），独立作者；
[8]《IF逻辑与IF模态逻辑》，《毕节学院学报》，2013（9），独立作者；
[9]《中国自然语言逻辑的发展与思考》，《中国哲学年鉴2013》，第一作者；
[10] 《函项分层思想在语言学研究中的应用》，《重庆理工大学学报（社会科学版）》，2011（8），独立作者；
[11] 《汉语照应省略的类型逻辑研究》，《中国社会科学院研究生院》，2011.07，独立作者；
[12] 《带有受限缩并规则的兰贝克演算中的照应算子》，《重庆理工大学学报（社会科学版）》，2011（4），第二作者；
[13] 《类型逻辑语法的词汇主义思想》，《哲学动态》，2011（2），第二作者；
[14] 《类型逻辑语法与汉语中的照应省略》，《湖南科技大学学报（社会科学版）》，2011（2）。人大复印资料全文转载（逻辑卷），2011（2），第二作者；
[15] 《事件语义学的发展与思考》，《中国社会科学报》，2010.11，第二作者；
[16]《类型逻辑语法》，《哲学动态》，2010（10），第一作者；
[17] 《对‘一+单位词+N+否定词’类周遍性主语的广义量词个案研究》，《重庆理工大学学报（社会科学版）》，2010（7），独立作者
[18] 《类型相配与类型贴合》，《中国社会科学院研究生院学报》，2010（5），独立作者；
[19] 《形式语义学研究两题》，《毕节学院学报》，2010（2），独立作者；
[20] 《<句法描述的半数学化标记>评介》，《自然语言逻辑经典文献研究》，2016年4月，北京：中国社会科学出版社；
[21]《<形式语义学与述谓语法>评介》，《自然语言逻辑经典文献研究》，2016年4月，北京：中国社会科学出版社。
专著：《汉语照应省略的类型逻辑研究》， 对外经济贸易大学出版社，2014。
编著：《自然语言逻辑经典文献研究》，中国社会科学出版社，2016年4月，第二主编。
译著：《逻辑、语言与意义（第一卷）》，商务印书馆，2017年11月。
《二战最伟大的战役-经典的陆战》，北京燕山出版社，2013年4月。
《六个瓶子里的历史》，中信出版社，2006年9月。
《真实的亚当•斯密》，中信出版社，2007年9月。
主持的项目：[1]2017.11-2022.9：国家社科基金重大项目：面向人工智能的组合范畴语法研究，第二子课题负责人（17ZDA027）
[2] 2014.6-2018.9：国家社科基金项目：组合范畴语法CCG的逻辑语义研究（14CZX044）
[3] 2012.6-2015.6：教育部社科基金项目：面向自然语言信息处理的组合范畴语法研究（12YJCZH153）
[4] 2014.9-2015.8：中央高校基本科研业务费专项资金资助项目：基于形式语义学经典理论的汉语本体论研究（FRF-TP-14-086A2）
[5] 2012.1-2013.12：北京科技大学青年人才科研项目：面向自然语言信息处理的组合范畴语法基础理论研究( ** )
[6] 2013.11-2015.11：中国逻辑学会学术研究项目：混合范畴类型逻辑与汉语的形式处理( 13CLYB009 )
[7] 2012.1-2013.12：北京科技大学青年人才科研项目：面向自然语言信息处理的组合范畴语法基础理论研究( ** )