您当前位置: 首页  >  师资队伍  >  教授  >  正文

教授

张永刚


职称:教授

政治面貌:中共党员 

最高学历:博士研究生

学位:博士学位

研究方向:约束求解与优化(Constraint Programming)、学习推理方法、人工智能

讲授课程:离散数学、组合数学、人工智能原理(研究生课程)

电话:13943131520  

电子邮箱:zhangyg@jlu.edu.cn


教育经历:

1994/09-1998/07,吉林大学,计算机科学系 计算机软件专业,本科生

1998/09-2000/09,吉林大学,计算机科学与技术学院,硕士生(导师:孙吉贵 教授)

2000/09-2005/12,吉林大学,计算机科学与技术学院,博士生(导师:孙吉贵 教授)

工作经历:

2018/09-现在,吉林大学,计算机科学与技术学院,教授

2008/09-2018/09,吉林大学,计算机科学与技术学院,副教授

2004/12-2008/09,吉林大学,计算机科学与技术学院,讲师

2001/12-2004/12,吉林大学,计算机科学与技术学院,助教

2019/03-2019/06,加拿大 纽布伦斯威克大学,计算机学院,访问学者

2009/10-2010/10,法国 蒙彼利埃大学,LIRMM实验室,访问学者(合作导师:Christian Bessiere)

2008/10-2008/11,意大利 特伦托大学,信息工程与计算机科学系,访问学者

2007/01-2009/10,吉林大学数学所,博士后(导师:高文杰 教授)

主持科研项目:

2014/01-2017/12,国家自然科学基金面上项目,“结合自主搜索机制的约束求解方法研究”

2012/01-2015/12,国家自然科学基金面上项目,“基于自适应约束传播的约束求解方法研究”

2008/01-2010/12,国家自然科学基金面上项目,“扩展规则推理方法研究”

2021/10-2022/12,中国电建集团科研项目,“基于多源异构数据融合技术的电力全过程咨询企业云平台构建及应用研究”

2021/01-2023/12,吉林省自然科学基金,“归纳约束程序建模与求解方法研究”

2020/01-2021/12,吉林省科技厅“十三五”规划课题,“基于约束求解方法的智能规划系统研究”

2019/09-2020/09,航天应用数学发展基金项目,“**********快速求解算法研究”

2017/01-2019/12,吉林省科技厅国际合作项目,“基于自治搜索的自适应约束求解方法研究”

2008/09-2010/12,吉林省青年科研基金项目,“基于推理的约束求解方法与应用研究”

著作教材:

1.欧阳丹彤,杨凤杰,李占山,张永刚. 离散数学结构(第二版),国家级规划教材,高等教育出版社,2011.12

2.卢奕南,张永刚. 组合数学,吉林大学“十一五”规划教材,2011

学术兼职:

中国计算机学会人工智能与模式识别专委会通讯委员

中国人工智能学会知识工程与分布智能专委会委员

中国人工智能学会人工智能基础专委会委员

中国人工智能学会人工智能逻辑(筹)专委会委员

虚拟仿真实验教学创新联盟计算机类专业工作委员会委员

ACM中国 长春分会秘书长

治学格言:Everything is a question mark, nothing is a full stop.