职称：教授
职务：系主任
所在部门：信息科学系
个人主页

1576E 67219 xbc at math dot pku dot edu dot cn


工作经历
2008- 北京大学数学科学学院 教授
2001-2008 北京大学数学科学学院 副教授
2000-2001 北京大学数学科学学院 讲师
1998-2000 北京大学数学系 博士后

代表作
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)

科研项目
2007--2010新世纪优秀人才资助计划教育部

2006--2008Chinese-SALSA法国INRIA研究所国际合作项目

2005--2010海量信息系统协同性随机模型与可生存性复杂性分析973项目：海量信息的协同性和可生存性的理论与实践研究

2005--2008实代数符号计算在形式化方法中的应用自然科学基金

2004--2009实几何与实代数的高效能算法973项目：数学机械化方法及其在信息领域中的应用

2000--2003自动推理平台973项目：数学机械化与自动推理平台

主讲课程
每学期解多项式系统的符号算法(讨论班)研究生

98-06年秋季计算机代数本科生、研究生

2006秋季实代数几何中的算法(讨论班)研究生

01-06年春季理论计算机科学基础本科生、研究生

社会兼职
2006年10月至今国际期刊 Mathematics in Computer Science编委

2003年5月至2008年7月信息科学系副系主任

2003年11月至2008年7月数学学院院长助理

2000年9月至2004年7月数学学院班主任

荣誉获奖
2005-2006年度北京大学教学优秀奖

2001年周培源数学奖教金

2000-2001年度优秀班主任