哈爾濱工程大學

姓名：劉剛
專業(yè)：計算機應(yīng)用技術(shù)、計算機軟件與理論
方向：智能信息處理、數(shù)據(jù)庫與知識庫、網(wǎng)絡(luò)計算
E-mail：liugang@hrbeu.edu.cn

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