人物经历 孟华,博士,西南交通大学讲师,2005年于四川大学数学学院数学基地班专业获得理学学士学位, 2010年获取四川大学数学学院基础数学博士学位,同年6月来交大数学学院参加工作. 研究方向 (1) 拓扑学. (2)domain理论. (3) 不确定性推理. [1] 研究项目 国家自然科学基金委员会资助项目:不确定性推理及其在形式计算理论中的应用(编号为10871137),起止年月为:2009.01-2011.12,项目负责人为:四川大学数学学院寇辉教授. 国家自然科学青年基金项目:关于程度化格值一阶逻辑的若干关键问题研究,批准号:61100046,起止年月为:2012.01-2014.12,项目负责人为:西南交通大学数学学院潘小东副教授. 论文成果 孟华, 寇辉, 关于交半格同态构成的函数空间与FS-交连续domain, 数学年刊A辑, 2011,32(1). 科研团队 信息与计算科学系团队 [2]