张景中

张景中院士

自动推理与机器证明

张景中院士

实验室主任

计算机科学家和数学教育家,中国科学院院士。曾任中国高等教育学会教育数学学会理事长、中国科学院成都分院数理室主任、中国科学院成都计算机应用研究所副所长等。

科研方向: 自动推理与机器证明。

基本情况: 张景中研究员, 男,1936年12月生于河南,数学家、计算机科学家和数学教育家,中国科学院院士。曾任中国高等教育学会教育数学学会理事长、中国科学院成都分院数理室主任、中国科学院成都计算机应用研究所副所长、中科院成都计算机应用研究所名誉所长等。

科研及获奖: 1979年任教于中国科学技术大学,1986年任中国科学院研究员,1995年10月当选为中国科学院院士。张景中主要从事自动推理、机器证明、距离几何、动力系统及教育数学等领域的研究。发表学术论著150多篇(部)。1982年获国家发明二等奖;1995年获中科院自然科学奖一等奖、“第九届中国图书奖”; 1997年获国家自然科学奖二等奖;2003年获第五届全国优秀科普作品一等奖、第六届国家图书奖和“五个一工程奖”;2005年获国家科技进步二等奖;2009年获国家科技进步二等奖。现任自动推理与认知重庆市重点实验室主任。

冯勇

冯勇研究员

零误差计算

冯勇研究员

电子信息技术研究所副所长

中国科学院重庆绿色智能技术研究院研究员,博士生导师,中国科学院知识创新工程首席科学家,曾任中国科学院成都计算机应用研究所自动推理实验室主任,现担任中国科学院重庆绿色智能技术研究院电子与信息所副所长。

科研方向: 零误差计算

基本情况: 冯勇研究员,1965年6月出生,男,博士生导师,中国科学院知识创新工程首席科学家,成都市应用数学学会理事,四川省人民政府第三届学位委员会委员,曾任中国科学院成都计算机应用研究所自动推理实验室主任,现担任重庆绿色智能技术研究院电子与信息所副所长。

科研及获奖: 中国科学院知识创新工程首席科学家,成都市应用数学学会理事,四川省人民政府第三届学位委员会委员,曾任中国科学院成都计算机应用研究所自动推理实验室主任,现担任重庆绿色智能技术研究院电子与信息所副所长。主要研究方向为符号数值混合计算、有限元分析。目前负责国家973子课题、自然科学基金面上项目,并参与自然科学基金重大研究计划等项目。

吴文渊

吴文渊研究员

符号数值混合计算

吴文渊研究员

实验室副主任

中国科学院重庆绿色智能技术研究院研究员,硕士生导师,长期计算机代数、符号数值混合计算等领域的教学和科研工作。

科研方向: 符号数值混合计算。

基本情况: 吴文渊研究员, 中心副主任,1976年11月生, 男, 1999年获得北京大学数学学院理学学士, 2002年获得中国科学院研究生院硕士学位,2007年获得加拿大西安大略大学博士学位。

科研及获奖: 2005年获得ACM 最佳学生论文奖,2007获得教育部-留学基金委“优秀自费留学生奖”。有3年的北美高校科研教学工作经验和经历。目前主持国家自然科学基金、科学院西部之光联合学者项目,并负责自动推理与认知重庆市重点实验室建设。

陈长波副研究员

符号数值混合计算和高性能计算

陈长波副研究员

中国科学院重庆绿色智能技术研究院副研究员,硕士生导师,主要从事符号数值混合计算和高性能计算等课题的研究。

科研方向: 符号数值混合计算和高性能计算。

基本情况: 陈长波副研究员,1981年12月出生,男,2003年本科毕业于山东科技大学应用数学专业,2006年硕士毕业于北京大学数学科学学院,2011年获得加拿大西安大略大学计算机科学博士学位。

科研及获奖: 博士期间曾获得西安大略大学研究生论文奖,Mitacs-Maplesoft联合实习生奖,西安大略大学学术发展奖等。其作为主要负责人之一开发的RegularChains软件获得美国计算机科学学会颁发的杰出软件演示奖。主要研究方向是符号数值混合计算和高性能计算。目前主持国家自然科学基金青年项目1项。

李轶

李轶副研究员

符号计算和程序验证

李轶副研究员

中国科学院重庆绿色智能技术研究院副研究员,硕士生导师,主要从事符号计算和程序验证、循环程序的终止性分析等科研工作。

科研方向: 符号计算和程序验证

科研情况: 1980年2月出生,男,2009 年毕业于中国科学院研究生院(硕博连读),获工学博士学位。主要研究兴趣:符号计算和程序验证。参与多项国家自然科学基金、国家973项目。目前主持国家自然科学基金和重庆市科技攻关重点项目各一项。

陈经纬助理研究员

零误差符号-数值算法、信息安全

陈经纬助理研究员

中国科学院重庆绿色智能技术研究院助理研究员,主要研究整数关系、格约化的零误差符号-数值算法及其在信息安全中的应用,

科研方向: 零误差符号-数值算法、信息安全

基本情况: 2007年毕业于西南大学数学与统计学院,获数学与应用数学学士学位;2013年毕业于中国科学院大学,获工学博士学位。2012年1月至12月,获得中法联合培养博士项目资助,赴法国 ENS de Lyon-CNRS 并行计算联合实验室 LIP 访学。2013年7月至今在中国科学院重庆绿色智能技术研究院工作。

科研情况: 现主持国家自然科学基金项目和中科院西部之光项目各一项,主要研究整数关系、格约化的零误差符号-数值算法及其在信息安全中的应用,以第一作者及通讯作者发表相关论文 10 余篇。