1、招生信息2、教育背景3、工作经历4、教授课程5、专利与奖励6、出版信息7、科研活动8、合作情况9、指导学生
基本信息
冯勇 男 博导 重庆绿色智能技术研究院
电子邮件：yongfeng@cigit.ac.cn
通信地址：yongfeng@cigit.ac.cn
邮政编码：610041


研究领域
招生信息

招生专业 计算机应用技术
计算机软件与理论


招生方向 计算机应用
自动推理与机器证明

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


学历

学位
工作经历

工作简历 1993-05--2011-07 中国科学院成都计算机应用研究所 研究员，部门主任
1987-07--1990-08 西昌农业专科学校 助教


社会兼职 2005-10--2010-10 四川省人民政府第三届学位委员会，委员

教授课程
专利与奖励

奖励信息

专利成果 （1） 一种基于最小结构奇异子集的分块快速延展方法，发明，2013，第2作者，专利号：**.5

出版信息

发表论文 （1） Two Variants of HJLS-PSLQ with Applications，Proceeding of SNC2014，2014，第1作者
（2） Numerical and Geometric Properties of a Method for Finding Points on Real Solution Components， Proceeding of SNC2014，2014，第3作者
（3） Parallel computation of real solving bivariate polynomial systems by zero-matching method，Applied Mathematics and Computation，2013，第2作者
（4） Incremental PSLQ with Application to Algebraic Number Reconstruction，ACM Communications in Computer Algebra，2013，第1作者
（5） OBTAINING EXACT INTERPOLATION MULTIVARIATE POLYNOMIAL BY APPROXIMATION，Journal of Systems Science and ComplexityVolume 24, Number 4,2011，2011，第1作者
（6） 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作者
（7） 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作者
（8） Finding Exact Minimal Polynomial by Approximations，SNC2009，2009，通讯作者
（9） 微积分基础的新视角，中国科学，2009，通讯作者
（10） A class of mechanically decidable problems beyond Tarski model，Science in China，2007，通讯作者
（11） Obtaining Exact Value by Approximate Computations，Science in China，2007，通讯作者


发表著作
科研活动

科研项目 （1） 基于数值方法的有理数域上准确多元多项式因式分解，主持，国家级，2012-01--2015-12
（2） 基于计算机推理的多领域统一工业模型技术，主持，省级，2011-09--2013-08
（3） 误差可控算法及其先进制造中的应用，主持，部委级，2011-01--2013-12
（4） 基于混合计算的误差可控算法，参与，国家级，2011-01--2015-12
（5） 自适应光学仿真系统，主持，研究所（学校）级，2011-01--2011-12


参与会议
合作情况

项目协作单位
指导学生已指导学生

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

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

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

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

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

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

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

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

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

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

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

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

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

现指导学生

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

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

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

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

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

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

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

李柳奇 硕士研究生 070104-应用数学

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