4月9日上午，，“CCF走進高校”活動來到泰州BET体育，華東師範大學博士生導師陳儀香教授、交通大學李國強博士應邀在濟川校區，分别為泰州BET体育師生們帶來了《智能系統》和《An Algorithmic Approach for Formal Verification》兩場主題報告。
陳儀香教授以“為增長智慧走進來，為服務祖國和同胞走出去”啟發同學們對“為什麼讀大學”進行思索。他從滿足國家和社會的互聯網+的需求，結合中國2025制造，介紹了智能系統的基本特征、需要解決的基本科學問題和關鍵技術，最後介紹計算機行業未來技術人才特征和需求。
李國強博士告訴同學們在計算機科學和軟件工程領域，形式化方法是适合于軟件和硬件系統的描述、開發和驗證的方法。李國強從查找系統Bug開始，引入Kripke Model和時序邏輯，他與同學們分享了自己的科研經曆，以及與IT公司的合作經驗，結合在研項目對當前計算機行業常見難解的問題提出了自己的看法和建議。
台下聆聽講座的學生對自己所學專業有了更深的認識，對未來的走向有了更明确的目标。整場講座曆時兩個多小時，師生們紛紛表示：“CCF走進高校”系列活動對幫助認識行業發展、了解技術熱點、開拓技學術和社會視野頗有益處。（泰州BET体育計算機科學與技術BET体育）
附：中國計算機學會（CCF）成立于1962年，全國一級學會，獨立社團法人，中國科學技術協會成員。
“CCF走進高校”是CCF組織的由資深專家和企業家走進高校為學生演講的系列公益活動，旨在幫助在校大學生提升專業能力，解答學業困惑，指導職業規劃，已在中國人民大學、浙江大學、武漢大學等全國多所知名院校進行了報告。
|
|
|
