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