考博考生生准备要参加博士研究生考试时，必须要先确定准备攻读博士的相关专业，然后选择该专业有招生需求的学校，接下来应该联系博士生导师，只有当博士生导师同意考生报考，考博生才可以报考。所以提前了解博士生导师的学术文章及联系方式很重要，新东方在线特整理了各招收博士院校博导的简介及联系方式供考博生参考。
教授 - 夏壁灿
基本信息
姓名夏壁灿
职称教授
所在部门信息科学系
职务副院长
研究方向符号计算,自动推理,程序验证
个人主页http://www.math.pku.edu.cn/is/~xbc/index.html
办公室1576E
电话67219
电子邮件xbc at math dot pku dot edu dot cn
备注
jpg
显示更多
教学活动
时间课程名称课程面向
每学期解多项式系统的符号算法(讨论班)研究生
98-06年秋季计算机代数本科生、研究生
2006秋季实代数几何中的算法(讨论班)研究生
01-06年春季理论计算机科学基础本科生、研究生
主要论著
著作名称下载链接
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项目：数学机械化与自动推理平台
所获奖励
获奖时间所获奖励
2005-2006年度北京大学教学优秀奖
2001年周培源数学奖教金
2000-2001年度优秀班主任
社会工作
时间所在机构担任职务
2006年10月至今国际期刊 Mathematics in Computer Science编委
2003年5月至2008年7月信息科学系副系主任
2003年11月至2008年7月数学学院院长助理
2000年9月至2004年7月数学学院班主任