个人简历

工作经历
2008-北京大学数学科学学院教授
2001-2008北京大学数学科学学院副教授
2000-2001北京大学数学科学学院讲师
1998-2000北京大学数学系博士后
科研项目
2007--2010新世纪优秀人才资助计划教育部
2006--2008Chinese-SALSA法国INRIA研究所国际合作项目
2005--2010海量信息系统协同性随机模型与可生存性复杂性分析973项目：海量信息的协同性和可生存性的理论与实践研究
2005--2008实代数符号计算在形式化方法中的应用自然科学基金
2004--2009实几何与实代数的高效能算法973项目：数学机械化方法及其在信息领域中的应用
2000--2003自动推理平台973项目：数学机械化与自动推理平台
主讲课程
每学期解多项式系统的符号算法(讨论班)研究生
98-06年秋季计算机代数本科生、研究生
2006秋季实代数几何中的算法(讨论班)研究生
01-06年春季理论计算机科学基础本科生、研究生
荣誉获奖
2005-2006年度北京大学教学优秀奖
2001年周培源数学奖教金
2000-2001年度优秀班主任

近期论文

Proc. the 7th Asian Symposium on Computer Mathematics (ASCM 2005), (Sung-il Pae, H. Park, eds.), pp.235—237. Seoul, Dec.8-10, 2005.
Proc. the 7th Asian Symposium on Computer Mathematics (ASCM 2005), (Sung-il Pae, H. Park, eds.), pp.153—156. Seoul, Dec.8-10, 2005.
Algebraic Biology 2005 - Computer Algebra in Biology (Proceedings of the First International Conference, Tokyo, Japan, November 28-30, 2005) (H. Anai and K. Horimoto, eds.), Universal Academy Press, Inc., Tokyo, 2005, pp. 75-83.
Proceedings of the 2005 International Symposium on Symbolic and Algebraic Computation (ISSAC 2005) (M. Kauers, ed.), pp. 354—361. ACM Press, New York (2005).
Algorithmic Algebra and Logic --- Proceedings of the A3L 2005 (A. Dolzmann, A. Seidl, and T. Sturm, eds.), pp. 281—289. Herstellung und Verlag, Norderstedt (2005).
《应用数学学报》，2003年10月，第26卷，第4期，652-663页。
Geometric Computation, World Scientific, pp.248--298, 2004.
J. Symb. Compt.,Vol. 34, No.5, pp.461--477, 2002.
Comp. & Math. Appl., Vol. 44, pp.633--642, 2002.
Proceedings of the First International Congress of Mathematical Software, pp.115--125, World Scientific, 2002.
Computer Mathematics--Proceedings of the ASCM2001, pp.211--220, World Scientific, 2001.
Science in China (Series F), Vol. 44, No. 1, pp.33--49, 2001.
Progress in Natural Science, Vol.10, No. 12, pp.897--910, 2000.
Lecture Notes in Artificial Intelligence 1669, Springer-Verlag, pp.30--46, 1999.
《符号计算选讲》，清华大学出版社，2003。
《计算机代数》，清华大学出版社，2004.
Comp. & Math. Appl., vol. 48, issue 12, pp. 1811-1817, 2004.
Proc. the First International Conference on Mathematical Aspects of Computer and Information Sciences (MACIS05), pp.85—91, Beijing, July 24-26, 2006.
Lecture Notes in Artificial Intelligence 4120 (T. Ida, J. Calmet and D. Wang eds.), pp. 131—145, Sept. 2006.
Proc. International Conference on Computational Intelligence (CI 2006), November 20-22, 2006, San Francisco, USA.
Bulletin of the Belgian Mathematical Society, 2006 (Accepted).
Computers and Mathematics with Applications, Vol. 52, pp.853--860, 2006.
Position paper in Verified Software: Theories, Tools, Experiments (VSTTE 2005), ETH Zürich, Oct. 10-13, 2005. (to appear in Lecture Notes in Computer Science)
社会兼职
2006年10月至今国际期刊MathematicsinComputerScience编委
2003年5月至2008年7月信息科学系副系主任
2003年11月至2008年7月数学学院院长助理
2000年9月至2004年7月数学学院班主任