自动推理、可信计算

   

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-计算机应用技术