冯勇 男 汉族 博导 重庆绿色智能技术研究院
Telephone: 02363063531
Postcode: 610041

Research Areas

Automated Reasoning 
 Trustable Computing


2000-09--2003-06   University of Chinese Academy of Sciences  , D.E.

1990-09--1993-05   Huangzhong   University of   Sciences & Technology , MSC

1983-09--1987-06   Sichuang Normal  University , Bachelor


Work Experience

2011-07~now          Chongqing Institute of Green and Intelligent Technology , Chinese Academy of Sciences

                                Tech. Research Institute, Researcher,Vice President

1993-05~2011-07   Chengdu Institute of Computer Application , Chinese Academy of Sciences , Researcher,Director
1987-07~1990-08​   Xichang College(原西昌农业专科学校), Teaching assistant

Teaching Experience

Honors & Distinctions

2017-01-01-NOW             Chongqing Institute of Electronics, Vice Chairman
2015-05-05-NOW             Chongqing Computer Society, Standing Director
2015-01-01-2019-12-31    China Computer Federation, Member
2005-10-01-2010-09-30    Sichuan  Academic Degrees Committee , Committee Member



(1)Chen Jingwei, Feng Yong, Liu Yang and Wu Wenyuan. Faster binary arithmetic operations on encrypted integers., Proceeding of WCSE 2017.

2Chen Jingwei, Wu Wenyuan, and Feng Yong. Reducing lattice bases with Bergman exchange, Proceeding of ICCSN 2017.

3 Chen Changbo, Wu Wenyuan, and Feng Yong. Full rank representation of real algebraic sets and applications., Proceeding of CASC 2017.

4 Wu Wenyuan, Chen Changbo, and Feng Yong. Penalty function based critical point approach to compute real witness solution points of polynomial systems., Proceeding of CASC 2017.

5 Wu Wenyuan, Greg Reid, and Feng YongComputing real witness points of positive dimensional polynomial systems., Theoretical Computer Science., 2017

(6)J ChenY FengY LiuB TangW Wu.Sparse non-negative matrix factorization with generalized Kullback-Leibler divergence., Lecture Notes in Computer Science, 2016.
(7)S ZhouY FengWY WuWH Wang.A novel method based on the fuzzy C-means clustering to calculate the maximal Lyapunov exponent from small data. Chinese Journal of Physics, 2016.
(8)Y LiY Feng. Termination Analysis of Non-Linear Loops over Closed and Bounded Connected Domain.Journal of Software, 2016.
(9)FENGYongWenyuanZHANGJingzhongExact  bivariate polynomial factorization over Q by approximation of roots, Journal of Systems Science and Complexity, 2015.
(10)Y FengJ ChenW Wu.Two Variants of HJLS-PSLQ with Applications, Proceeding of SNC2014, 2014.
(11)W WuG ReidY Feng. Numerical and Geometric Properties of a Method for Finding Points on Real Solution Components,  Proceeding of SNC2014, 2014.
(12)X QinY FengJ ChenJ Zhang.Parallel computation of real solving bivariate polynomial systems by zero-matching method, Applied Mathematics and Computation, 2013.
(13)Y FengJ ChenW Wu.Incremental PSLQ with Application to Algebraic Number Reconstruction, ACM Communications in Computer Algebra, 2013.
(14)YongFENGXiaolinQINJingzhong,OBTAINING EXACT INTERPOLATION MULTIVARIATE POLYNOMIAL BY APPROXIMATION, Journal of Systems Science and Complexity  Volume 24, Number 4,2011, 2011.
(15)Y ChenY FengZ TanX Shi. A Novel Denoising Approach to Wavefront Slope Signals Detected by Wavefront Sensor, International Journal of Digital Content Technology and its Applications, v.5, n.7, 2011.
(16)Y ChenY FengZ TanX Shi.A Novel Modal Wavefront Reconstruction Algorithm based on PSO Algorithm, International Journal of Digital Content Technology and its Applications,v.5, n.4, 2011.
(17) 张景中冯勇*.微积分基础的新视角, Science China, 2009.
(18)X QinY Feng*,J ChenJ Zhang. Finding Exact Minimal Polynomial by Approximations, SNC2009, 2009.
(19)JZ ZhangY Feng*.Obtaining Exact Value by Approximate Computations, Science in China, 2007.
(20)L YangY Feng*Y Yao. A class of mechanically decidable problems beyond Tarski model, Science in China, 2007.


( 1 ) 一种基于最小结构奇异子集的分块快速延展方法, patent for invertion​, 2013, 第 2 作者, Patent number: 20130528908.5

Research Interests








黄运青  硕士研究生  081202-计算机软件与理论  

唐樨瑾  硕士研究生  081202-计算机软件与理论  

李骏  博士研究生  081202-计算机软件与理论  

余伟  博士研究生  081202-计算机软件与理论  

靳泰戈  博士研究生  081202-计算机软件与理论  

袁勋  博士研究生  081202-计算机软件与理论  

刘栋  博士研究生  081202-计算机软件与理论  

徐靖  硕士研究生  070104-应用数学  

秦小林  博士研究生  081202-计算机软件与理论  

陈经纬  博士研究生  081202-计算机软件与理论  

谭治英  博士研究生  081202-计算机软件与理论  

范雄  硕士研究生  081202-计算机软件与理论  

周建鸿  博士研究生  081202-计算机软件与理论  

何易德  硕士研究生  070104-应用数学  

陆见光  博士研究生  081202-计算机软件与理论  

李光远  博士研究生  081202-计算机软件与理论  

孙爽  硕士研究生  070104-应用数学  

唐卷  博士研究生  081202-计算机软件与理论  

周双  博士研究生  081203-计算机应用技术  

王会勇  博士研究生  081202-计算机软件与理论  

吕江靖  博士研究生  081203-计算机应用技术  


景小平  博士研究生  081202-计算机软件与理论  

白亚男  博士研究生  081203-计算机应用技术  

蒋方玲  博士研究生  081203-计算机应用技术