We're sorry this project doesn't work properly without JavaScript enabled. Please enable it to continue.
  • 扫码下载Android
  • 扫码下载iOS
首页 - 课程列表 - 课程详情
编译原理Compilation Principle
课程类型:选修课
发布时间:2023-07-21 16:55:55
主讲教师:刘刚
课程来源:哈尔滨工程大学
建议学分:0.00分
课程编码:xtzx2060
刘刚  副教授,博士  主要研究方向,人工智能、自然语言处理、编译原理、数据挖掘、机器学习。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部。