个人简介

讲授课程： 程序设计基础（原名：高级语言程序设计，国家精品课程、国家级精品资源共享课、国家精品在线开放课程） 人工智能基础 可计算性与计算复杂性 教育经历： 2007.09-2010.06，吉林大学计算机科学与技术学院计算机软件与理论专业，推免博士生（导师：刘磊教授、孙吉贵教授） 2004.09-2007.06，吉林大学计算机科学与技术学院计算机软件与理论专业，硕士生（导师：孙吉贵教授、欧阳丹彤教授） 1999.09-2003.06，东北师范大学计算机科学系计算机科学与技术专业，本科生 工作经历： 2019.11至今，吉林大学计算机科学与技术学院，博士生导师 2016.11至今，吉林大学计算机科学与技术学院，硕士生导师 2015.09至今，吉林大学计算机科学与技术学院，副教授 2010.07-2015.09，吉林大学计算机科学与技术学院，讲师 2020.02至今，吉林大学软件学院教学委员会，委员 2016.03-2019.06，吉林大学2015级理科试验班（唐敖庆计算机班），班主任 2013.03-2014.09，吉林大学计算机科学与技术学院学术委员会，兼职秘书 科研项目： 主持国家自然科学基金项目等科研项目9项，参加科研项目24项。 近年主持的科研项目： [1] 国家自然科学基金：命题与模态逻辑的扩展规则推理与混合推理方法研究（61300049） [2] 教育部高等学校博士学科点专项科研基金：命题逻辑和模态逻辑的扩展规则推理方法研究（20120061120059） [3] 中国博士后科学基金面上资助项目：自动规划的逻辑约束机制研究（2011M500612） [4] 吉林省自然科学基金项目：依赖知识编译的推理方法研究（20180101053JC） [5] 吉林省青年科研基金项目：结合模态逻辑知识表示与推理的自动规划方法研究（20140520069JH） [6] 技术开发项目：基于深度强化学习的推理系统开发（2018220101002559） 近年骨干参加的科研项目： [1] 国家重点研发计划项目：智能计算机编程方法（2017YFB1003103） [2] 国家自然科学基金：基于扩展规则的SAT问题不完备求解方法研究（61763003） [3] 国家自然科学基金：智能规划中基于路标的启发式搜索方法研究（61502197） [4] 国家自然科学基金：面向构建过程的范畴学习模型及其适应性机制研究（61503044） [5] 吉林省重点科技攻关项目：云环境下的编程模型研究（20130206052GX） [6] 吉林省自然科学基金项目：面向大数据的知识表示和推理方法研究（20190201193JC） [7] 吉林省自然科学基金项目：云环境下SaaS的安全问题研究（20150101054JC） [8] 吉林省青年科研基金项目：基于随机游走策略的智能规划方法研究（20150520058JH） 获奖情况： 获得全国商业科技进步一等奖3项，吉林省自然科学二等奖1项，吉林省科学技术进步三等奖2项。 [6] 吉林省自然科学二等奖：知识表示与特征选择方法研究（2017Z20001） [5] 全国商业科技进步一等奖：形式化新方法及其在云计算中的应用（2016-1-54） [4] 吉林省科学技术进步三等奖：本体工程技术及其应用研究（2015J3G064） [3] 全国商业科技进步一等奖：形式化新方法与新技术及其在软件需求工程中的应用（2014-1-50） [2] 吉林省科学技术进步三等奖：高可信软件的安全开发与验证方法及其应用（2011J30057） [1] 全国商业科技进步一等奖：基于形式化方法的本体工程关键技术研究与应用（2010-1-16)