題 目:回顧創新夢
主講人:張景中 院士
時 間:2018年5月28日(周一)15:00
地點:圖書館報告廳
主辦:西南石油大學研究生院、科研處、學(研)工部
承辦:校研究生會
內容提要:
一葉知秋;
班門弄斧;
行成于思;
厚積薄發。
院士簡介:中國科學院院士,我國著名計算機科學家、數學家和數學教育學家,是機器證明、數理推導領域世界級科學家、數學家,被推舉為中國代數證明智能化方面的實踐先行者。主要從事機器證明、教育數學、距離幾何及動力系統等領域的研究。1979年任教于中國科學技術大學,1986年任中國科學院研究員,中國科學院成都分院數理科學研究室主任,中國科學院成都計算機應用研究所副所長,1993年12月由國務院學位委員會批準為博士導師,1995年10月當選為中國科學院院士,兼任中國計算機學會理事、中國科協委員,1997年當選為中共十五大代表。曾任中國科普作家協會理事長,現任廣州大學計算機教育軟件研究所所長,中國科學院成都計算機應用研究所名譽所長,華中師范大學國家數字化學習工程技術研究中心學術委員會主任,江西城市學院名譽校長、學術委員會主任。