吴文渊

吴文渊，男，1976年11月生，毕业于北京大学数学学院，现为自动推理与认知研究中心副主任，中国科学院重庆绿色智能技术研究院、博导。

有3年的北美高校科研教学工作经验和经历。目前主持国家自然科学基金、科学院西部之光联合学者项目。^[1]

时间院校专业学位1992.9–1995.7成都七中--1995.9–1999.7北京大学数学科学学院-学士1997.9–1999.7北京大学经济研究中心-学士1999.9–2002.7中科院研究生院（成都计算机应用研究所）计算机科学硕士2003.9–2007.8加拿大西安大略大学(UWO)应用数学系博士2006.9–2006.12访问美国明尼苏达大学--

2007.9–2007.12，任UWO讲师，讲授本科微积分课程。

2003.9–2007.8，任UWO助教，多门本科以及研究生课程。

2008.8–2010.8，任美国密西根州立大学（Michigan State University）讲师，讲授本科微积分课程。

有3年的北美高校科研教学工作经验和经历。目前主持国家自然科学基金、科学院西部之光联合学者项目。

主要研究方向为符号数值混合计算和DAE/PDAE。

科研情况

2011-2013 国家自然科学基金“基于同伦方法的代数方程并行计算的理论、实现及其应用”

2006 美国NSF “Applications of Algebraic Geometry”

2009-2014 加拿大NSERC，“Symbolic Numeric Algorithms and Software for differential systems with constraint”

2004-2009 加拿大NSERC，“Efficient Symbolic-Numeric Algorithms for Sparse Differential Polynomial Systems”

2005-2010 加拿大MITACS，“Mathematics Of Computer Algebra and Analysis”

时间获得奖项获奖作品颁奖机构2003.9—2007.8Special University Scholarship,Western Graduate Research Scholarships,International Graduate Student Scholarship--2004PhD Entrance Research Award of UWO--2005Distinguished Student Paper Award（优秀学生论文奖）Lifting techniques for triangular decompositions国际计算机科学协会ACM ISSAC’052005ISSAC’05 最佳poster奖On the complexity of D5 principle国际计算机科学协会2005ACM最佳学生论文奖--2006Western Graduate Thesis Research Award--2007Fields Institute -- UWO Postdoctoral Fellowship--2007“优秀自费留学生奖”-教育部-留学基金委2008、2009Michigan State University Postdoctoral Fellowship--