刘刚：教师个人介绍
刘刚-副教授-哈尔滨工程大学-
副教授，博士 主要研究方向，人工智能、自然语言处理、编译原理、数据挖掘、机器学习。1976年9月出生，1999年始任职于哈尔滨工程大学计算机科学与技术学院。2005年美国伊利诺伊大学香槟分校(UIUC)访问学者，2014年澳大利亚莫纳什大学(Monash)博士后。IEEE会员，国际计算机学会会员，中国计算机学会会员，黑龙江省计算机学会会员。长期以来一直在高等院校从事软件与理论、模式识别与智能系统、程序验证、模型构造等方面的教学科研工作。在政策关联关系挖掘、智能软件测试、模型构建与检测、博弈论、政策可验性证明、形式化表示方法和政策仿真等方面进行了比较深入的研究，并取得了在国内外独具特色的研究成果。是我国计算机审计领域有影响的审计专家，在计算机联网审计技术研究、社会保险审计实践方面代表了国内顶尖水平。参与国家政策审计，参与两部国家部颁标准制定，所取得政策审计成果已列入总理政府工作报告。承担国家自然科学基金项目1项，国家重点研发计划项目1项，承担国家科技支撑计划项目2项，教育部规划基金项目1项，中国博士后科学基金1项，黑龙江省十二五规划课题1项。获得中国信息化成果二等奖1项，黑龙江省科技进步二等奖1项、三等奖2项，专利8项，软件著作权14项。在国外学术期刊和IEEE国际学术会议上发表与本项目相关的学术论文50余篇，30余篇被SCI、EI和ISTP检索。出版专著和教材5部。
