基本信息
冯勇男博导中国科学院重庆绿色智能技术研究院
电子邮件： 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 作者, 专利号: .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-计算机应用技术