开云·kaiyun(中国)官方网站

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

邮箱：yongfeng@cigit.ac.cn

个人简介：

工学博士，研究员，博士生导师，中国科学院|开云·kaiyun重庆绿色智能技术研究院电子信息技术研究所所长、中国科学院|开云·kaiyun大学|开云·kaiyun重庆学院|开云·kaiyun人工智能学院|开云·kaiyun执行院长、重庆市电子学会副理事长。第三批重庆市学术技术带头人。现从事计算机推理与定理机器证明的研究工作，曾在油藏数值模拟、盆地数值模拟和自适应光学仿真系统的研究中取得重要成果，与张景中院士共同开创了自动推理中的零误差计算学科方向，在国内外本领域著名杂志和会议上发表学术论文60多篇。

教育经历：

起止年月  毕业院校  学历、学位

1983.09-1987.07 四川师范大学|开云·kaiyun 大学|开云·kaiyun本科、学士

1990.09-1993.05 华中理工大学|开云·kaiyun 研究生、硕士

2000.09- 2003.06 中国科学院|开云·kaiyun研究生院 研究生、博士

主要研究方向：

计算机推理与定理机器证明

招生专业：

博士：计算机软件与理论

硕士：计算机软件与理论（学术）

           电子信息（专硕）

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

代表性论文：

1、 Yong Feng, Jingwei Chen, Wenyuan Wu. The PSLQ algorithm for empirical data. Mathematics of Computation, https://doi.org/10.1090/mcom/3356. 2019.

2、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.

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

4、 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.

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

专利、软著：

1、周双，冯勇，吴文渊，杨文强. 一种模糊C均值聚类小数据量识别混沌的方法. ZL201410381619.1

2、李轶，杨文强，李传璨，朱广，吴文渊，冯勇. 一类有界闭连通域上的循环程序终止性判断方法. ZL2015101811056.

3、李轶，李传璨，冯勇，吴文渊.C语言源代码循环终止性分析软件LoopChecker. 2015SR086444.

科研项目：

1、 采用数值计算求解一类半代数系统全部整数解，国家自然科学基金面上项目 (课题编号: 11671377 )， 主持人，直接经费48万元，2017年1月-2020年12月

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

3、 基于数值方法的有理数域上准确多元多项式因式分解，国家自然科学基金面上项目 (课题编号: 11171053)，主持人，50万元，2012年1月-2015年12月

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

所获荣誉：

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