职称:副教授
办公电话： 010-62334062
电子邮件：manhaixia@ustb.edu.cn
本科课程：基础外语、英语语音与实践、英语词汇学、跨文化交流、名篇翻译鉴赏
研究生课程：专门用途翻译、法律法规翻译、语言学专题、英汉科技笔译
科研方向：一直主要从事逻辑语义学研究，尤其对范畴类型逻辑及其组合范畴语法有深入思考
社会职务：中国逻辑学会语言逻辑专业委员会 常务理事
专著：
《汉语照应省略的类型逻辑研究》。北京：对外经济贸易大学出版社，2014。
编著：
邹崇理、满海霞《自然语言逻辑经典文献研究》，中国社会科学出版社，2016年4月。
译著:
1)满海霞、张璐、邹崇理，《逻辑、语言与意义（第一卷）》。北京：商务印书馆，2017。
2)满海霞、尚麦蕊，《日本刀》。北京：中信出版社，待出版。
3)满海霞、朱珂漫、王杜，《罗马撤军后的不列颠》。北京：中信出版社，待出版。
4)满海霞，《棉花糖奥丽芙》。北京：北京出版社，2017。
5)满海霞，《外星人奥丽芙》。北京：北京出版社，2017。
6)吴平、葛文聪、郑坚、满海霞，《真实的亚当•斯密》。北京：中信出版社，2007。
7)吴平、葛文聪、郑坚、满海霞，《六个瓶子里的历史》。北京：中信出版社，2006。
期刊论文：
1)满海霞，“有”的个体/事件量化分野及其语义生成机制，《当代语言学》，2020（3）：366-380。
2)满海霞、邹崇理，构建汉语行为语法的金字塔结构，《湖北大学学报（社会科学版）》，2019（5）：77-84。
3)满海霞，《事件语义学引论》述评—纪念戴维森提出事件论元思想五十周年，《逻辑学研究》，2019（4）：102-104。
4)MAN Haixia (trans., by WANG Lu), 2019, Innovation and Application of Logic: An Interview with Jaakko Hintikka, Logca Univrsalis: 263-271.
5)满海霞、梁雅梦，乔姆斯基层级与自然语言语法-从短语结构语法到非转换语法，《外国语文》，2015（3）：84-89。
6)满海霞、崔佳悦，组合范畴语法的量词辖域歧义研究新思路，《哲学动态》，2015（8）：108-111。
7)满海霞，关于逻辑语义学的句法系统，《安徽大学学报》，2014（7）：23-28。
8)崔佳悦、满海霞，蒙太格语法框架下的汉语被动句分析，《外国语文》，2014（4）：62-66。
9)满海霞，汉语把字句及相关句式的CCG形式计算，《湖北大学学报》，2013（6）：42-49。【人大复印资料全文转载】
10)满海霞，IF逻辑与IF模态逻辑，《毕节学院学报》，2013（9）：53-57。
11)李可胜、满海霞，VP的有界性与连动式的事件结构，《现代外语》，2013（2）：127-134。
12)满海霞，组合范畴语法与其计算特征，《毕节学院学报》，2013（6）：50-56。
13)满海霞，函项分层思想在语言学研究中的应用，《重庆理工大学学报（社会科学版）》，2011（8）：83-88。
14)张晓君、满海霞，带有受限缩并规则的兰贝克演算中的照应算子，《重庆理工大学学报（社会科学版）》，2011（4）：6-11。
15)孔繁清、满海霞，类型逻辑语法的词汇主义思想，《哲学动态》，2011（2）：98-101。
16)孔繁清、满海霞，类型逻辑语法与汉语中的照应省略，《湖南科技大学学报（社会科学版）》，2011（2）：35-39。【人大复印资料全文转载】
17)邹崇理、满海霞，事件语义学的发展与思考，《中国社会科学报》，2010.11。
18)满海霞、李可胜，类型逻辑语法，《哲学动态》，2010（10）：103-106。
19)满海霞，对‘一+单位词+N+否定词’类周遍性主语的广义量词个案研究，《重庆理工大学学报（社会科学版）》，2010（7）：12-16。
20)满海霞，类型相配与类型贴合，《中国社会科学院研究生院学报》，2010（5）：59-63。
21)满海霞，《形式语义学研究两题》，《毕节学院学报》，2010（2）：37-41。
书中章节论文：
1)满海霞，《自然语言信息处理的逻辑语义学研究》第八章。北京：科学出版社，2017。
2)满海霞，《句法描述的半数学化标记》评介，《自然语言逻辑经典文献研究》：1-12。北京：中国社会科学出版社，2016。
3)满海霞，《形式语义学与述谓语法》评介，《自然语言逻辑经典文献研究》：176-206。北京：中国社会科学出版社，2016。
4)满海霞、李可胜，《中国自然语言逻辑的发展与思考》，《中国哲学年鉴2013》：165-174。北京：中国社会科学出版社，2013。
教材章节：
1)满海霞，《通用学术英语1》Unit 6 Environment。
2)满海霞，《通用学术英语2》Unit 2 Information。
主持的科研项目
1)2019.6-2021.6 泛欧亚文学、文化与研究 北京科技大学院长基金
2)2017.11-2022.9 国家社科基金重大项目：面向人工智能的组合范畴语法研究，第二子课题负责人（17ZDA027）
3)2014.6-2018.9 国家社科基金项目：组合范畴语法CCG的逻辑语义研究（14CZX044）
4)2012.6-2015.6 教育部社科基金项目：面向自然语言信息处理的组合范畴语法研究（12YJCZH153）
5)2014.9-2015.8 中央高校基本科研业务费专项资金资助项目：基于形式语义学经典理论的汉语本体论研究（FRF-TP-14-086A2）
6)2012.1-2013.12 北京科技大学青年人才科研项目：面向自然语言信息处理的组合范畴语法基础理论研究(06112021)
7)2013.11-2015.11 中国逻辑学会学术研究项目：混合范畴类型逻辑与汉语的形式处理( 13CLYB009)
8)2012.1-2013.12 北京科技大学青年人才科研项目：面向自然语言信息处理的组合范畴语法基础理论研究(06112021)
大会发言：
2019.8.16-17 汉语行为语法的语义语用构建，第十六届全国语用学研讨会暨第十届中国逻辑学会语用学专业委员会年会 主旨演讲，江西南昌，江西师范大学。
2019.6.21-22 “有”的个体/事件量化分野及其语义生成机制，“汉语形式语义研究”国际研讨会 大会发言，北京，北京语言大学。
2019.4.20-21构建汉语行为语法的金字塔结构，范畴语法2019国际会议 大会发言，湖南湘潭，湘潭大学。
2018.10.29 “有”的事件量化问题，“第二届语义与语用理论研讨会”主旨发言，北京，北京语言大学。
2018.9.15-16 CCGBank的语义匹配问题，“语言、逻辑与计算交叉学科研讨会”暨国家社科基金重大招标课题后期研讨会 大会发言，安徽合肥。
2018.4.14 试论“有”的一种量化用法，“2018年中国逻辑学会语言逻辑专业委员会年会—暨第四届语言与逻辑交叉学科研讨会”大会发言，北京，北京语言大学。
2018.1.6 CCG的语义分析与标注，“湘潭大学国家社科基金重大项目开题论证会”大会发言，湖南湘潭，湘潭大学。
2014.6.8 关于逻辑语义学的句法系统，“数理逻辑与哲学逻辑—2014年全国现代逻辑学术研讨会”大会发言，河北保定，河北大学。
2011.6.11 函项分层思想，“中国逻辑学会2011年学术研讨会”大会发言，四川重庆，重庆理工大学。
2011.3.11 Type Logical Analysis for Anaphora in Mandarin Chinese, 逻辑、语言与信息国际研讨会 大会发言，浙江杭州，浙江大学。
2009.10 ‘一+单位词+N+否定词’类周遍性主语的广义量词研究，“纪念中国逻辑学会成立30周年大会”大会发言，成都，四川大学。
获奖情况
1)2019年10月2019中华口译优秀指导教师
2)2019年6月 北京科技大学研究生教育教学优秀奖
3)2019年4月 第八届全国口译大赛优秀指导教师
4)2018年4月 第七届全国口译大赛优秀指导教师
5)2017年6月 北京蓝魔大数据技术研究院“北京市2017年度十大魅力教师”荣誉称号
6)2016年11月 获得第七届“外教社杯”全国高校外语教学大赛微课比赛三等奖
7)2016年9月 2015-16年度北京科技大学外国语学院先进工作者
8)2015年9月 北京科技大学外国语学院年度科研论文一等奖
9)2015年9月 北京科技大学外国语学院年度科研论文一等奖
10)2014年9月 中国社会科学院研究生院优秀博士学位论文三等奖（一、二等奖空缺）
