教授
夏壁灿
  • 所属院校:
    北京大学
  • 所属院系:
    数学科学学院
  • 研究领域:
    --
  • 职称:
    教授
  • 导师类型:
    --
  • 招生专业:
    --
个人简介

个人简介

工作经历 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年度优秀班主任

以上内容源自网络公开信息,仅作学术交流之目的,非为商业用途。
如若涉及侵权事宜,请及时与我们联络,我们将即刻修正或删除相关内容。
去登录