吴文渊

性别：男         最高学位：博士        博导/硕导：博导

邮箱：wuwenyuan@cigit.ac.cn

个人简介：

2008.08—2010.08 美国密西根州立大学数学系博士后兼讲师 2010.08—2011.10 电子科技大学计算机学院任教，副教授、硕士生导师 2011.10—2017.05 中国科学院重庆绿色智能技术研究院自动推理与认知中心副主任、副研究员、硕士生导师 2017.05— 中国科学院重庆绿色智能技术研究院自动推理与认知中心主任、研究员、博士生导师 主持完成国家自然科学基金一项，中国科学院西部之光联合学者项目一项。目前主持国家自然科学基金面上项目以及中科院前沿重点项目各一项。曾担任全国计算机数学第6届会议组织委员会主席和国际SNC14会议程序委员会委员等学术职务。目前担任SCI期刊JSSC编委，美国数学杂志Math Review评论员。同时作为主研人员完成国家级、省部级项目五项，并负责完成了自动推理与认知重庆市重点实验室建设工作。

教育经历：

1995.09—1999.07 北京大学数学学院学习，获理学学士学位

1999.07—2002.07 中国科学院成都计算机应用研究所计算机理论与软件专业学习，获工学硕士学位

2003.08—2007.07 加拿大西安大略大学应用数学专业学习，获理学博士学位

2007.08—2008.08 加拿大西安大略大学应用数学系，UWO—Fields博士后兼讲师

主要研究方向：

个人科研成就包括以下三个方面: 1）多项式因式分解是零误差计算理论从有理数域推广到代数数域的重要组成部分。提出稀疏两变元因式分解高效算法，分解能力提高了上千倍; 提出了数值多变元因式分解几何含意和几何结构分析。2）实代数几何计算问题是工程计算、生物化学模型分析、优化控制中的基本问题，我们在计算复杂度估计和数字稳定性方面取得突破。这一突破为航天航空、生物医疗等安全攸关领域高精度、高效率计算奠定理论基础。3）将零误差计算理论应用于信息安全，致力于基于格的密码学、抵御量子攻击公钥系统的各种应用技术研究，已经开发出相关的软件系统并为国家信息安全服务。

招生专业：

自动推理, 信息安全

代表性成果（含文章、专利、科研项目等）：

主持项目:

1、 实代数方程中的零误差计算理论及其应用, 中国科学院前沿科学重点研究项目. 2016.10-2020.12

2、 跨平台的后量子公钥加密系统开发, 重庆市院士牵头科技创新引导专项 2018.1-2020.12

3、 自动推理及其在信息安全中的应用, 重庆市院士牵头科技创新引导专项 2018.10-2021.9

4、 格密码安全性分析的数学方法及其在方案设计中的应用, 重庆市院士牵头 科技创新引导专项 2020.10-2023.9

所获荣誉：