个人简介
讲授课程： 离散数学（课程链接I 课程链接II）、组合数学（课程链接）、信息安全数学基础（课程链接）（本科生课程）
应用密码学（课程链接）（研究生课程）
教育经历： 1994/09－1998/07，吉林大学，计算机科学系计算机软件专业,学士学位
1998/09－2005/12，吉林大学，计算机科学与技术学院计算机软件与理论专业，博士学位（导师：孙吉贵 教授）
工作经历： 2001/12-2004/12，吉林大学，计算机科学与技术学院，助教
2004/12-2008/09，吉林大学，计算机科学与技术学院，讲师
2008/09-现在，吉林大学，计算机科学与技术学院，副教授
2007/01-2009/10，吉林大学数学所，博士后（合作导师：高文杰 教授）
2009/10-2010/10，法国蒙彼利埃大学，LIRMM实验室，访问学者（合作导师：Prof.Christian Bessiere）
科研项目： 主持项目：
1.2008/01-2010/12，国家自然科学基金面上项目，“扩展规则推理方法研究（60773097）”
2.2012/01-2015/12，国家自然科学基金面上项目，“基于自适应约束传播的约束求解方法研究（61170314）”
3.2014/01-2017/12，国家自然科学基金面上项目，“结合自主搜索机制的约束求解方法研究（61373052）”
4.2008/09-2010/12，吉林省青年科研基金项目，“基于推理的约束求解方法与应用研究（20080107）”
研究领域
人工智能，约束求解与优化（Constraint Programming）
近期论文
查看导师新发文章
（温馨提示：请注意重名现象，建议点开原文通过作者单位确认）
着作教材：
1.欧阳丹彤，杨凤杰，李占山，张永刚.离散数学结构（第二版），普通高等教育“十一五”国家级规划教材，国家精品课程主讲教材，高等教育出版社，2011.12
2.卢奕南，张永刚.组合数学，吉林大学“十一五”规划教材，2011
京公网安备 11010802027423号