智能信息处理
张永刚
基本情况
姓名: 张永刚                
性别:
职称: 教授
最高学历: 研究生
最高学位: 博士
电话:
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,国家自然科学基金面上项目,“扩展规则推理方法研究(60773097)”
2.2012/01-2015/12,国家自然科学基金面上项目,“基于自适应约束传播的约束求解方法研究(61170314)”
3.2014/01-2017/12,国家自然科学基金面上项目,“结合自主搜索机制的约束求解方法研究(61373052)”
4.2008/09-2010/12,吉林省青年科研基金项目,“基于推理的约束求解方法与应用研究(20080107)”
着作教材: 1.欧阳丹彤,杨凤杰,李占山,张永刚.离散数学结构(第二版),普通高等教育“十一五”国家级规划教材,国家精品课程主讲教材,高等教育出版社,2011.12
2.卢奕南,张永刚.组合数学,吉林大学“十一五”规划教材,2011
治学格言: Everything is a question mark, nothing is a full stop.

吉林大学计算机科学与技术学院 版权所有 © 2017

地址:吉林省长春市朝阳区前进大街2699号吉林大学前卫南区计算机楼 邮编:130012