个人简介

招生专业 070101-基础数学 070104-应用数学 招生方向 符号计算 符号计算 教育背景 1992-02--1996-05 RISC-Linz, Univ. of Linz, Austria 博士 1985-09--1988-07 中科院系统所 硕士 1980-09--1985-07 清华大学应用数学系 学士 工作简历 2005-03~2016-08,中科院数学与系统科学研究院, 研究员 2004-03~2005-03,中科院数学与系统科学研究院, 副研究员 2001-11~2004-03,SCG, organization of Computer Science, Univ. of Waterloo, Canada, 博士后 1999-12~2001-11,中科院数学与系统科学研究院, 副研究员 1997-09~1999-12,SCAI Institut, GMD, St. Augustiin, Germany, 博士后 1996-05~1997-09,中科院系统所, 副研究员 1992-02~1996-05,RISC-Linz, Univ. of Linz, Austria, 博士 1988-09~1992-01,清华大学应用数学系, 助教 1985-09~1988-07,中科院系统所, 硕士 1980-09~1985-07,清华大学应用数学系, 学士 教授课程 线性代数B 奖励信息 （1） 2014年 ISSAC Distinguished Poster Award, 其他, 2014 （2） 中科院数学院突出成果奖, 研究所（学校）, 2014 （3） 朱李月华奖教金, 院级, 2011 （4） 中科院数学院优秀教师奖, , 研究所（学校）, 2008 （5） ISSAC 杰出论文奖, , 其他, 2006 （6） 中科院数学院突出科研成果奖, , 研究所（学校）, 2005 发表著作 （ 1 ） 计算机代数引论, 清华大学出版社, 2016-08, 第 3 作者