張樹功,男,博士學歷,現為吉林大學數學學院博士生導師。
基本介紹
- 中文名:張樹功
- 國籍:中國
- 出生地:中國
- 職業:博導
人物履歷,學術任職,教學科研,教材編寫,課程講授,科研項目,
人物履歷
1978.02~1982.02 東北工學院數學系 學生
1982.02~1984.12 吉林大學數學所 碩士研究生
張樹功博士生導師
![張樹功博士生導師 張樹功博士生導師](/img/a/692/nBnaucTY1I2M0ITN4MDMxMWN2M2MkZDMhNzMjdDOhNzMmF2MwAjNilzM0Q2LtVGdp9yYpB3LltWahJ2Lt92YuUHZpFmYuMmczdWbp9yL6MHc0RHa.jpg)
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。