張永剛[吉林大學計算機學院副教授]

張永剛，男，1975年12月出生，遼寧瀋陽人，現為吉林大學計算機科學與技術學院副教授、碩士生導師。

基本信息

• 中文名：張永剛
• 籍貫：遼寧瀋陽
• 民族：漢族
• 國籍：中國
• 職業： 教師
  

人物簡介

張永剛，男，1975年12月出生，遼寧瀋陽人，2005年在吉林大學獲得計算機軟體與理論專業博士學位，導師為孫吉貴教授。2007年至2009年為吉林大學數學研究所博士後，合作導師為高文杰教授，2009年至2010年在法國蒙彼利埃大學LIRMM實驗室作訪問學者，合作老師為國際著名人工智慧專家ChristianBessiere教授。現為吉林大學計算機科學與技術學院副教授、碩士生導師。

業務狀況

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