人物履歷
1978.02~1982.02 東北工學院數學系 學生
張樹功博士生導師1982.02~1984.12 吉林大學數學所 碩士研究生
1991.09~1993.12 吉林大學計算中心 博士研究生
學術任職
1984.12~1991.09 東北工學院數學系 助教、講師
1993.12~1996.01 吉林大學計算機科學系 博士後
1996.01~1999.12 吉林大學數學學院 副教授
2000.01~如今 吉林大學數學學院 教 授
2001.06~如今 吉林大學數學學院 博士生導師
教學科研
主要從事符號計算與生物識別技術的教學與研究工作，於國內外學術刊物發表論文30餘篇。
教材編寫
1) 《數值分析》，東北工學院出版社，1990,瀋陽，參編；
2) 《計算機代數基礎》，吉林大學出版社，1997 長春，主編；
3) 《計算機代數基礎》，科學出版社，2005, 北京 主編。
課程講授
1) 《計算機代數》，數學學院高年級本科生選修；
2) 《計算交換代數與代數幾何》，數學所計算專業研究生選修。
科研項目
曾經承擔“定理機器證明及其套用”、“數學機械化與自動推理平台”等國家重大關鍵項目的子課題；作為主要參加者參加過多項國家自然科學基金、博士點基金的研究工作。在研項目為：
1) 973項目子課題《 數學機械化方法及其在信息領域中的套用－核心算法》，
編號：2004CB318000；2004.10-2009.10。
2) 自然科學基金項目《CAGD中若干基本問題的代數幾何理論與可行算法》，
編號：10471055；2005.01-2007.12。
