欢迎访问中国科学院重庆绿色智能技术研究院!

两院院士

张景中 中国科学院院士、电子信息技术研究所研究员、博士生导师、自动推理与认知重庆市重点实验室主任
性别:
职称:两院院士
学历:
电话:
电子邮箱:
职务:中国科学院院士、电子信息技术研究所研究员、博士生导师、自动推理与认知重庆市重点实验室主任
简历

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

所属部门

研究领域

 

社会任职

获奖及荣誉

 

代表论著

 

承担科研项目情况