基本信息
冯勇  男  博导  中国科学院重庆绿色智能技术研究院
电子邮件: yongfeng@cigit.ac.cn
通信地址: yongfeng@cigit.ac.cn
邮政编码: 400714

研究领域

自动推理、可信计算

招生信息

   
招生专业
081203-计算机应用技术
081202-计算机软件与理论
招生方向
自动推理与机器证明
同态加密

教育背景

2000-09--2003-06   中国科学院研究生院   毕业并获得工学博士学位
1990-09--1993-05   华中理工大学   毕业并获得理学硕士学位
1983-09--1987-06   四川师范大学   毕业并获得学士学位
学历

博士学历

学位

工学博士

工作经历

   
工作简历
2017-05~现在, 中科院重庆绿色智能技术研究院, 电子信息技术研究所,所长
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,四川省学位委员会, 委员

教授课程

   

专利与奖励

   
奖励信息
   
专利成果
( 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, 通讯作者
发表著作
   

科研活动

   
科研项目
( 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
参与会议
   

合作情况

   
项目协作单位
   

指导学生

已指导学生

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

现指导学生

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

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

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