冯勇，男，1965年6月25日出生于四川宁南，是一位研究员和 博士研究生 。他现任 中国科学院重庆绿色智能技术研究院 电子信息研究所所长，同时担任 重庆市 电子学会副理事长。冯勇是 中国科学院 三期知识创新工程重要方向项目“自动推理及其在高新技术领域中的应用”的首席科学家，国家973项目基于混合计算的误差可控算法负责人和 自然科学 基金重大研究计划的子项目负责人。他曾在中国科学院成都计算机应用研究所从事自动推理与机器证明的研究和软件开发工作。
人物生平
工作十多年来，先后主持和参加了“多维问题数值解新技术”（国家自然科学基金19171086）、“数值解多维问题的分裂外推新技术”（国家自然科学基金19471075）、“基于区域分解的有限元分裂外推法”（国家自然科学基金19771078）、国家“ 国家高技术研究发展计划 ”（ 863-306-05-01-02）、“求解高维问题的有限元分裂外推技术”（ 中科院 “九五”青年科学基金）等国家重大课题。已发表的论文二十多篇。
1997年4月-1997年9月受 香港理工大学 的邀请，到香港为其开发了“运移聚积史模型（二维三相）的数值模拟软件”。从 香港特别行政区 回来后，受四川石油勘探开发研究院委托，为 中国石油天然气集团有限公司 研究开发了“三维二相单井具有大裂缝的多重介质的数值模拟”软件；2000年受中国石油天然气总公司石油 钻探 开发科学研究院的委托，为其开发了三维二相的盆地数值模拟软件。目前参加 中国科学院 的知识创新工程，在其资助下，研究和开发了“基于 Linux 下的高性能符号计算软件平台”。