張永剛(吉林大學計算機學院副教授)

張永剛，男，1975年12月出生，遼寧瀋陽人，2005年在吉林大學獲得計算機軟體與理論專業博士學位，導師為孫吉貴教授。

人物經歷

2007年至2009年為吉林大學數學研究所博士後，合作導師為高文杰教授，2009年至2010年在法國蒙彼利埃大學LIRMM實驗室作訪問學者，合作老師為國際著名人工智慧專家Christian Bessiere教授。現為吉林大學計算機科學與技術學院副教授、碩士生導師。

研究方向

為人工智慧與約束求解。

主要貢獻

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