哈爾濱工程大學

姓名：劉剛
專業：計算機應用技術、計算機軟件與理論
方向：智能信息處理、數據庫與知識庫、網絡計算
E-mail：liugang@hrbeu.edu.cn

1976年9月生，工學博士，副教授，碩士生導師�，F任職于哈爾濱工程大學計算機科學與技術學院。2005年美國伊利諾伊大學香檳分校(UIUC)訪問學者，中國計算機學會會員，黑龍江省計算機學會會員。長期以來一直在高等院校從事軟件與理論、計算機應用技術、數據庫與知識庫、網絡計算等方面的教學科研工作。在數據網格技術、海量數據處理、云計算、模型構建與檢測、博弈論、政策可驗性證明和形式化語義等方面進行了比較深入的研究，并取得了在國內外獨具特色的研究成果，是我國計算機審計領域有影響的審計專家，在社會保險計算機審計技術研究、審計實踐方面代表了國內頂尖水平。作為第二負責人主持申請并承擔國家自然科學基金項目（60873038）《復雜系統模型及并發運行檢驗理論及應用研究》，國家重大科技支撐計劃項目《政府預算執行動態審計監測關鍵技術研究與示范》子課題負責人。獲得黑龍江省科技進步三等獎1項，軟件著作權2項，出版專著2部。在國外學術期刊和IEEE國際學術會議上發表學術論文20余篇，多篇被SCI、EI檢索。