張永剛

人工智能，約束求解與優化（Constraint Programming） ^[1] 

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

應用密碼學（研究生課程） ^[1] 

1994/09－1998/07，吉林大學，計算機科學系計算機軟件專業,學士學位

1998/09－2005/12，吉林大學，計算機科學與技術學院計算機軟件與理論專業，博士學位（導師：孫吉貴 教授） ^[1] 

2001/12-2004/12，吉林大學，計算機科學與技術學院，助教

2004/12-2008/09，吉林大學，計算機科學與技術學院，講師

2008/09-現在，吉林大學，計算機科學與技術學院，副教授

2007/01-2009/10，吉林大學數學所，博士後（合作導師：高文傑 教授）

2009/10-2010/10，法國蒙彼利埃大學，LIRMM實驗室，訪問學者（合作導師：Prof.Christian Bessiere） ^[1] 

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] 

1.歐陽丹彤，楊鳳傑，李佔山，張永剛.離散數學結構（第二版），普通高等教育“十一五”國家級規劃教材，國家精品課程主講教材，高等教育出版社，2011.12

2.盧奕南，張永剛.組合數學，吉林大學“十一五”規劃教材，2011 ^[1]