符号计算，微分代数

   

070104-应用数学

符号计算，微分/差分Galois理论

2000-09--2005-07   中科院数学与系统科学研究院   理学博士
1996-09--2000-07   中国科学技术大学   理学学士

-- 研究生

-- 博士

2007.9-2008.12 美国北卡州立大学 访问学者

2010.4 至今 中国科学院数学与系统科学研究院  副研究员

2005.7-2010.3 中国科学院数学与系统科学研究院  助理研究员

2018-04~现在, 中国科学院数学与系统科学研究院, 研究员
2010-04~2018-03,中科院数学与系统科学研究院, 副研究员
2005-07~2010-03,中科院数学与系统科学研究院, 助理研究员

计算代数几何引论

已指导学生

熊纯文  硕士研究生  070104-应用数学  

现指导学生

陆伟  硕士研究生  070104-应用数学