孟華

西南交通大學講師

人物經歷


孟華,博士,西南交通大學講師,2005年於四川大學數學學院數學基地班專業獲得理學學士學位, 2010年獲取四川大學數學學院基礎數學博士學位,同年6月來交大數學學院參加工作。

研究方向


(1) 拓撲學
(2)domain理論。
(3) 不確定性推理。

研究項目


國家自然科學基金委員會資助項目:不確定性推理及其在形式計算理論中的應用(編號為10871137),起止年月為:2009.01-2011.12,項目負責人為:四川大學數學學院寇輝教授。
國家自然科學青年基金項目:關於程度化格值一階邏輯的若干關鍵問題研究,批准號:61100046,起止年月為:2012.01-2014.12,項目負責人為:西南交通大學數學學院潘小東副教授。

論文成果


孟華, 寇輝, 關於交半格同態構成的函數空間與FS-交連續domain, 數學年刊A輯, 2011,32(1).

科研團隊


信息與計算科學系團隊