冯勇，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

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