简历 

　　冯勇，2003年6月在中国科学院研究生院获得工学博士学位。为中国科学院三期知识创新工程重要方向项目“自动推理及其在高新技术领域中的应用”的首席科学家，国家973项目“基于混合计算的误差可控算法”、国家自然科学基金重大研究计划 “基于符号-数值计算的误差可控算法及应用”、国家重点研发计划“变革性技术关键科学问题”重点专项“隐私保护数据处理的数学方法”等子课题负责人，主持3项自然科学基金面上项目，入选第三批重庆市学术技术带头人。现从事计算机推理与定理机器证明的研究工作，曾在油藏数值模拟、盆地数值模拟和自适应光学仿真系统的研究中取得重要成果，与张景中院士共同开创了自动推理中的零误差计算学科方向，在国内外本领域著名杂志和会议上发表学术论文60多篇。

 获奖及荣誉

　　2017年获得重庆市劳动模范荣誉 

代表论著

　　1.    Feng Y, Chen J W. On zero-error computation (in Chinese). Sci Sin Math, 51: 3–16, 2021

　　2.    Yong Feng, Jingwei Chen, Wenyuan Wu. The PSLQ algorithm for empirical data. Mathematics of Computation, 88(317):1479-1501, 2019.

　　3.    Yong FENG, Wenyuan WU, Jingzhong ZHANG, Jingwei CHEN. Exact bivariate polynomial factorization over Q by approximation of roots Journal of Systems Science and Complexity, 28(1), pp 243-260, 2015.

　　4.    Yong Feng, Jingwei Chen and Wenyuan Wu. Two Variants of HJLS-PSLQ with Applications. Proceeding of SNC2014, pp 88-96, 2014. 

　　5.    Yong FENG, Xiaolin QIN, Jingzhong ZHANG, Xun YUAN，Obtaining exact interpolation multivariate polynomial by approximation，Journal of Systems Science and Complexity, Vol.24(4), 803-815, 2011.

　　6. Jingzhong Zhang, Yong Feng. Obtaining Exact Value by Approximate Computations. Science in China Series A: Mathematics Vol. 50, No.9, 1361-1368, 2007.

承担科研项目情况

　　1. 隐私保护数据处理的数学方法（编号: 2020YFA0712303），国家重点研发计划“变革性技术关键科学问题”重点专项，子课题负责人，200万元，2020年12月-2025年11月

　　2. 采用数值计算求解一类半代数系统全部整数解（编号: 11671377），国家自然科学基金面上项目，负责人， 48万元，2017年1月-2020年12月

　　3. 基于混合计算的误差可控算法（编号：2011CB302402），国家973项目，子课题负责人，500万元，2011年1月-2015年12月

　　4. 基于数值方法的有理数域上准确多元多项式因式分解（编号: 11171053），国家自然科学基金面上项目，负责人，50万元，2012年1月-2015年12月

　　5. 基于符号-数值计算的误差可控算法及应用（编号：91118001），国家自然科学基金重大研究计划，子课题负责人，260万元，2012年1月-2015年1月