中国科学院 重庆绿色智能技术研究院 导师冯勇介绍
作者：科大科院考研网 发表时间：2019-11-16 来源：研招办
科院考研推荐链接：
冯勇 男 博导 中国科学院重庆绿色智能技术研究院
电子邮件： yongfeng@cigit.ac.cn
通信地址： yongfeng@cigit.ac.cn
邮政编码： 400714
研究领域
自动推理、可信计算
招生信息
招生专业
081203-计算机应用技术
081202-计算机软件与理论
081202-计算机软件与理论
招生方向
自动推理与机器证明
同态加密
同态加密
教育背景
2000-09--2003-06 中国科学院研究生院 毕业并获得工学博士学位
1990-09--1993-05 华中理工大学 毕业并获得理学硕士学位
1983-09--1987-06 四川师范大学 毕业并获得学士学位
1990-09--1993-05 华中理工大学 毕业并获得理学硕士学位
1983-09--1987-06 四川师范大学 毕业并获得学士学位
学历
博士学历
学位
工学博士
工作经历
工作简历
2017-05~现在, 中科院重庆绿色智能技术研究院, 电子信息技术研究所，所长
2011-07~2017-05,中科院重庆绿色智能技术研究院, 电子信息技术研究所副所长
1993-05~2011-07,中国科学院成都计算机应用研究所, 研究员，部门主任
1987-07~1990-08,西昌农业专科学校, 助教
2011-07~2017-05,中科院重庆绿色智能技术研究院, 电子信息技术研究所副所长
1993-05~2011-07,中国科学院成都计算机应用研究所, 研究员，部门主任
1987-07~1990-08,西昌农业专科学校, 助教
社会兼职
2017-01-01-今,重庆市电子学会, 副理事长
2015-05-05-今,重庆市计算机学会, 常务理事
2015-01-01-2019-12-31,中国计算机学会, 会员
2005-10-01-2010-09-30,四川省学位委员会, 委员
2015-05-05-今,重庆市计算机学会, 常务理事
2015-01-01-2019-12-31,中国计算机学会, 会员
2005-10-01-2010-09-30,四川省学位委员会, 委员
教授课程
专利与奖励
奖励信息
专利成果
（ 1 ） 一种基于最小结构奇异子集的分块快速延展方法, 发明, 2013, 第 2 作者, 专利号: 20130528908.5
出版信息
发表论文
（1） Faster binary arithmetic operations on encrypted integers., Proceeding of WCSE 2017, 2017, 第 2 作者
（2） Reducing lattice bases with Bergman exchange, Proceeding of ICCSN 2017, 2017, 第 3 作者
（3） Full rank representation of real algebraic sets and applications., Proceeding of CASC 2017, 2017, 第 3 作者
（4） Penalty function based critical point approach to compute real witness solution points of polynomial systems., Proceeding of CASC 2017, 2017, 第 3 作者
（5） Computing real witness points of positive dimensional polynomial systems., Theoretical Computer Science., 2017, 第 3 作者
（6） Sparse non-negative matrix factorization with generalized Kullback-Leibler divergence., Lecture Notes in Computer Science, 2016, 第 2 作者
（7） 一种基于模糊 C 均值聚类小数据量计算最大Lyapunov 指数的新方法., 物理学报, 2016, 第 2 作者
（8） 有界闭连通域上的非线性循环终止性分析., 软件学报, 2016, 第 2 作者
（9） Exact bivariate polynomial factorization over Q by approximation of roots, Journal of Systems Science and Complexity, 2015, 第 1 作者
（10） Two Variants of HJLS-PSLQ with Applications, Proceeding of SNC2014, 2014, 第 1 作者
（11） Numerical and Geometric Properties of a Method for Finding Points on Real Solution Components, Proceeding of SNC2014, 2014, 第 3 作者
（12） Parallel computation of real solving bivariate polynomial systems by zero-matching method, Applied Mathematics and Computation, 2013, 第 2 作者
（13） Incremental PSLQ with Application to Algebraic Number Reconstruction, ACM Communications in Computer Algebra, 2013, 第 1 作者
（14） OBTAINING EXACT INTERPOLATION MULTIVARIATE POLYNOMIAL BY APPROXIMATION, Journal of Systems Science and Complexity Volume 24, Number 4,2011, 2011, 第 1 作者
（15） 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, 第 2 作者
（16） A Novel Modal Wavefront Reconstruction Algorithm based on PSO Algorithm, International Journal of Digital Content Technology and its Applications,v.5, n.4, 2011, 第 2 作者
（17） 微积分基础的新视角, 中国科学, 2009, 通讯作者
（18） Finding Exact Minimal Polynomial by Approximations, SNC2009, 2009, 通讯作者
（19） Obtaining Exact Value by Approximate Computations, Science in China, 2007, 通讯作者
（20） A class of mechanically decidable problems beyond Tarski model, Science in China, 2007, 通讯作者
（2） Reducing lattice bases with Bergman exchange, Proceeding of ICCSN 2017, 2017, 第 3 作者
（3） Full rank representation of real algebraic sets and applications., Proceeding of CASC 2017, 2017, 第 3 作者
（4） Penalty function based critical point approach to compute real witness solution points of polynomial systems., Proceeding of CASC 2017, 2017, 第 3 作者
（5） Computing real witness points of positive dimensional polynomial systems., Theoretical Computer Science., 2017, 第 3 作者
（6） Sparse non-negative matrix factorization with generalized Kullback-Leibler divergence., Lecture Notes in Computer Science, 2016, 第 2 作者
（7） 一种基于模糊 C 均值聚类小数据量计算最大Lyapunov 指数的新方法., 物理学报, 2016, 第 2 作者
（8） 有界闭连通域上的非线性循环终止性分析., 软件学报, 2016, 第 2 作者
（9） Exact bivariate polynomial factorization over Q by approximation of roots, Journal of Systems Science and Complexity, 2015, 第 1 作者
（10） Two Variants of HJLS-PSLQ with Applications, Proceeding of SNC2014, 2014, 第 1 作者
（11） Numerical and Geometric Properties of a Method for Finding Points on Real Solution Components, Proceeding of SNC2014, 2014, 第 3 作者
（12） Parallel computation of real solving bivariate polynomial systems by zero-matching method, Applied Mathematics and Computation, 2013, 第 2 作者
（13） Incremental PSLQ with Application to Algebraic Number Reconstruction, ACM Communications in Computer Algebra, 2013, 第 1 作者
（14） OBTAINING EXACT INTERPOLATION MULTIVARIATE POLYNOMIAL BY APPROXIMATION, Journal of Systems Science and Complexity Volume 24, Number 4,2011, 2011, 第 1 作者
（15） 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, 第 2 作者
（16） A Novel Modal Wavefront Reconstruction Algorithm based on PSO Algorithm, International Journal of Digital Content Technology and its Applications,v.5, n.4, 2011, 第 2 作者
（17） 微积分基础的新视角, 中国科学, 2009, 通讯作者
（18） Finding Exact Minimal Polynomial by Approximations, SNC2009, 2009, 通讯作者
（19） Obtaining Exact Value by Approximate Computations, Science in China, 2007, 通讯作者
（20） A class of mechanically decidable problems beyond Tarski model, Science in China, 2007, 通讯作者
发表著作
科研活动
科研项目
（ 1 ） 基于混合计算的误差可控算法, 参与, 国家级, 2011-01--2015-12
（ 2 ） 误差可控算法及其先进制造中的应用, 主持, 国家级, 2011-01--2013-12
（ 3 ） 自适应光学仿真系统, 主持, 市地级, 2011-01--2011-12
（ 4 ） 基于计算机推理的多领域统一工业模型技术, 主持, 省级, 2011-09--2013-08
（ 5 ） 基于数值方法的有理数域上准确多元多项式因式分解, 主持, 国家级, 2012-01--2015-12
（ 6 ） 零误差计算在欧几里得格和密码学中的应用, 参与, 省级, 2014-12--2017-12
（ 7 ） 多项式循环程序的终止性研究及其应用, 参与, 国家级, 2016-01--2019-12
（ 8 ） 采用数值计算求解一类半代数系统全部整数解, 主持, 国家级, 2017-01--2020-12
（ 9 ） 实代数方程中的零误差计算理论及其应用, 参与, 部委级, 2018-01--2021-12
（ 2 ） 误差可控算法及其先进制造中的应用, 主持, 国家级, 2011-01--2013-12
（ 3 ） 自适应光学仿真系统, 主持, 市地级, 2011-01--2011-12
（ 4 ） 基于计算机推理的多领域统一工业模型技术, 主持, 省级, 2011-09--2013-08
（ 5 ） 基于数值方法的有理数域上准确多元多项式因式分解, 主持, 国家级, 2012-01--2015-12
（ 6 ） 零误差计算在欧几里得格和密码学中的应用, 参与, 省级, 2014-12--2017-12
（ 7 ） 多项式循环程序的终止性研究及其应用, 参与, 国家级, 2016-01--2019-12
（ 8 ） 采用数值计算求解一类半代数系统全部整数解, 主持, 国家级, 2017-01--2020-12
（ 9 ） 实代数方程中的零误差计算理论及其应用, 参与, 部委级, 2018-01--2021-12
参与会议
