欢迎访问中国科学院重庆绿色智能技术研究院!

研究员、博士生导师

冯勇 电子信息技术研究所所长
性别:
职称:研究员、博士生导师
学历:博士
电话:023-65935517
电子邮箱:yongfeng@cigit.ac.cn
职务:电子信息技术研究所所长
简历

  冯勇,20036月在中国科学院研究生院获得工学博士学位。为中国科学院三期知识创新工程重要方向项目“自动推理及其在高新技术领域中的应用”的首席科学家,国家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月