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

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