張景中 中國科學院院士、電子信息技術研究所研究員、博士生導師、自動推理與認知重慶市重點實驗室主任
性別：男
職稱：兩院院士
職務：中國科學院院士、電子信息技術研究所研究員、博士生導師、自動推理與認知重慶市重點實驗室主任
簡歷
張景中，研究員, 1936年12月生于河南，數(shù)學家、計算機科學家和數(shù)學教育家，中國科學院院士。曾任中國科普作家協(xié)會理事長、中國高等教育學會教育數(shù)學學會理事長、中國科學院成都分院數(shù)理室主任、中國科學院成都計算機應用研究所副所長、中科院成都計算機應用研究所名譽所長、四川計算機學會理事長、成都市科協(xié)主席、《計算機應用》主編等。
1979年任教于中國科學技術大學，1986年任中國科學院研究員，1995年10月當選為中國科學院院士。張景中主要從事自動推理、機器證明、距離幾何、動力系統(tǒng)及教育數(shù)學等領域的研究。發(fā)表學術論著150多篇（部）。1982年獲國家發(fā)明二等獎；1995年獲中科院自然科學獎一等獎、“第九屆中國圖書獎”； 1997年獲國家自然科學獎二等獎；2003年獲第五屆全國優(yōu)秀科普作品一等獎、第六屆國家圖書獎和“五個一工程獎”；2005年獲國家科技進步二等獎；2009年獲國家科技進步二等獎。
