張永剛

1994年9月至1998年7月，吉林大學，計算機科學系計算機軟體專業，學士學位。

1998年9月至2005年12月，吉林大學，計算機科學與技術學院計算機軟體與理論專業，博士學位，導師是孫吉貴 教授。

2001年12月至2004年12月，吉林大學，計算機科學與技術學院，助教。

2004年12至2008年9月，吉林大學，計算機科學與技術學院，講師。

2007年至2009年為吉林大學數學研究所博士后，合作導師為高文傑教授。

2009年10月至2010年10月，法國蒙彼利埃大學，LIRMM實驗室，訪問學者，合作導師是Prof.Christian Bessiere。

2009年至2010年在法國蒙彼利埃大學LIRMM實驗室作訪問學者，合作老師為國際著名人工智慧專家Christian Bessiere教授。

2008年9月至現在為吉林大學計算機科學與技術學院副教授、碩士生導師。

為人工智慧與約束求解。

發表論文30餘篇，主持國家自然科學基金項目2項，吉林省青年科研基金項目1項，教育部基礎科研業務費--學科前沿與交叉項目1項，橫向項目2項。目前指導碩士研究生7名，已畢業2名。

離散數學、組合數學、信息安全數學基礎（本科生課程）。

應用密碼學（研究生課程）。

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。