张景中
中国科学院院士、电子信息技术研究所研究员、博士生导师、自动推理与认知重庆市重点实验室主任
张景中，研究员, 1936年12月生于河南，数学家、计算机科学家和数学教育家，中国科学院院士。曾任中国科普作家协会理事长、中国高等教育学会教育数学学会理事长、中国科学院成都分院数理室主任、中国科学院成都计算机应用研究所副所长、中科院成都计算机应用研究所名誉所长、四川计算机学会理事长、成都市科协主席、《计算机应用》主编等。 1979年任教于中国科学技术大学，1986年任中国科学院研究员，1995年10月当选为中国科学院院士。张景中主要从事自动推理、机器证明、距离几何、动力系统及教育数学等领域的研究。发表学术论著150多篇（部）。1982年获国家发明二等奖；1995年获中科院自然科学奖一等奖、“第九届中国图书奖”； ...
查看详情
