哈爾濱工程大學(xué)

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

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