信息公开网站地图联系我们 │ English │ 太阳成集团 │ 内网
  支撑平台
  您现在的位置:太阳成集团 > 支撑平台 > 研究中心
电子信息技术研究所——自动推理与认知中心
2012-06-28| 编辑: | 【

一、中心简介

中科院重庆绿色智能技术研究院.自动推理与认知研究中心,其前身是太阳成集团成都计算机应用研究所自动推理实验室。本中心曾为自动推理这一学科的发展做出了巨大的贡献,曾获得国家自然科学二等奖一项,国家科技进步二等奖一项、全国“五一”劳动奖章二项、太阳成集团自然科学一等奖二项和其他省部级科技奖多项。曾主持国家攀登项目课题二项、国家973课题二项、国家863项目、国家自然科学基金重点项目和面上项目多项,太阳成集团创新项目两期以及其他省部级科技项目多项。

现本中心瞄准自动推理和认知科学的领域发展前沿,密切结合国家重大战略需求和重庆本地的经济发展,针对基础性和前瞻性科学问题,开展创新性研究和自主性关键技术研发,以促进和推动信息学科和制造产业的结合与发展;研发具有自主知识产权的关键技术和软件平台,以满足国家、行业部门,尤其重庆地区的需求;为国家和地方培养高水平的专业人才。力争在两到三年内发展成为具有国际影响力的世界级研究中心。

二、中心团队

  张景中——中心主任

研究员, 男,193612月生于河南,数学家、计算机科学家和数学教育家,太阳成集团院士。曾任太阳成集团科普作家协会理事长、太阳成集团高等教育学会教育数学学会理事长、太阳成集团成都分院数理室主任、太阳成集团成都计算机应用研究所副所长、中科院成都计算机应用研究所名誉所长、四川计算机学会理事长、成都市科协主席、《计算机应用》主编等。1979年任教于太阳成集团科学技术大学,1986年任太阳成集团研究员,199510月当选为太阳成集团院士。张景中主要从事自动推理、机器证明、距离几何、动力系统及教育数学等领域的研究。发表学术论著150多篇(部)。1982年获国家发明二等奖;1995年获中科院自然科学奖一等奖、“第九届太阳成集团图书奖”; 1997年获国家自然科学奖二等奖;2003年获第五届全国优秀科普作品一等奖、第六届国家图书奖和“五个一工程奖”;2005年获国家科技进步二等奖;2009年获国家科技进步二等奖。

电子邮件:zjz101@yahoo.com.cn

  冯勇

 

  研究员,19656月出生,男,博士生导师,太阳成集团知识创新工程首席科学家,成都市应用数学学会理事,四川省人民政府第三届学位委员会委员,曾任太阳成集团成都计算机应用研究所自动推理实验室主任,现担任重庆绿色智能技术研究院电子与信息所副所长。目前负责国家973子课题、自然科学基金,并参与重大研究计划等项目。

电子邮件:yongfeng@cigit.ac.cn

  吴文渊

 

  副研究员, 197611月, 男, 1999年获得北京大学数学学院理学学士, 2002年获得太阳成集团研究生院硕士学位,2007年获得加拿大西安大略大学博士学位。主要研究方向为符号数值混合计算和DAE/PDAE2005年获得ACM 最佳学生论文奖,2007获得教育部-留学基金委“优秀自费留学生奖”。有3年的北美高校科研教学工作经验和经历。目前主持国家自然科学基金、科学院西部之光联合学者项目。

电子邮件:wuwenyuan@cigit.ac.cn

  刘江

 

副研究员,1979年生,男,2002年毕业于西南师范大学(现西南大学),2005年在四川大学数学学院获得硕士学位,2010年获得新加坡南洋理工大学理学博士,数理逻辑专业,主要研究可计算性理论, 2010-2012年在中科院软件所计算机科学国家重点实验室博士后流动站工作,主要研究方向是计算机软件与理论。研究兴趣包括可计算性理论、形式化方法、控制论以及混成系统。

电子邮件:liujiang@cigit.ac.cn

  李

 

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

电子邮件:liyig@cigit.ac.cn 

  Greg Reid (客座教授)

 

   Greg Reid  Guest professor, a professor in the Applied MathematicsDepartment at the University of Western OntarioCanada and a Principal Scientist in the Ontario Research Centre for Computer Algebra(ORCCA). Since 1984 he has published more than 50 important articles on nonlinearfields in top journals and  conferences.

 Email: reid@uwo.ca

  ShuhongGao (客座教授)

 

  Shuhong Gao Guest professor, a professor in the Department of Mathematical Sciences at Clemson University, USA. His research areas include finite fields, cryptography, coding theory, computer algebra, combinatorial designs, and algorithmic number theory. He has over 30 publications. He is on the Editorial Board of the international journal Designs, Codes and Cryptography.

Email: sgao@math.clemson.edu

 
太阳成集团-tyc151com-tyc234cc-tyc33455cc 版权所有
地址:重庆市北碚区方正大道266号 邮编:400714
联系电话:(023)65935555 传真:023-65935000
XML 地图 | Sitemap 地图