基本情况
姓名：张永刚               
性别：男
职称：教授
最高学历：研究生
最高学位：博士
电话：
Email：
备注：

详细情况
所在学科专业：计算机软件与理论
所研究方向：人工智能，约束求解与优化（Constraint Programming）
讲授课程：离散数学（课程链接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，国家自然科学基金面上项目，“扩展规则推理方法研究（**）”
2.2012/01-2015/12，国家自然科学基金面上项目，“基于自适应约束传播的约束求解方法研究（**）”
3.2014/01-2017/12，国家自然科学基金面上项目，“结合自主搜索机制的约束求解方法研究（**）”
4.2008/09-2010/12，吉林省青年科研基金项目，“基于推理的约束求解方法与应用研究（**）”
着作教材：1.欧阳丹彤，杨凤杰，李占山，张永刚.离散数学结构（第二版），普通高等教育“十一五”国家级规划教材，国家精品课程主讲教材，高等教育出版社，2011.12
2.卢奕南，张永刚.组合数学，吉林大学“十一五”规划教材，2011
治学格言：Everything is a question mark, nothing is a full stop.