招生专业 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,西昌农业专科学校, 助教 专利成果 （ 1 ） 一种基于最小结构奇异子集的分块快速延展方法, 发明, 2013, 第 2 作者, 专利号: 20130528908.5 科研项目 （ 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