中國(guó)科學(xué)院林惠民院士來(lái)校講學(xué)

中國(guó)科學(xué)院林惠民院士來(lái)校講學(xué)

?

3月27日，中國(guó)科學(xué)院院士、計(jì)算機(jī)科學(xué)國(guó)家重點(diǎn)實(shí)驗(yàn)室主任林惠民受邀來(lái)校，為師生作“計(jì)算與智能”專(zhuān)題講座。報(bào)告會(huì)由副校長(zhǎng)黃建軍主持，全校400余名師生聆聽(tīng)報(bào)告。

講座中，林惠民從日常生活的各個(gè)方面入手，以計(jì)算機(jī)知識(shí)與新穎的概念相結(jié)合，介紹了計(jì)算和智能的發(fā)展歷程以及為人們生活所提供的便捷。他從計(jì)算、智能兩個(gè)板塊一一闡述，深入淺出地給學(xué)生們闡釋計(jì)算的概念，并介紹了吳方俊等數(shù)學(xué)家的偉大發(fā)現(xiàn)，進(jìn)而科普人工智能的基本知識(shí)。林慧民強(qiáng)調(diào)，未來(lái)寄托在年輕人身上，計(jì)算機(jī)科學(xué)技術(shù)是年輕人的事業(yè)，青年學(xué)子要學(xué)好知識(shí)以及應(yīng)用所學(xué)到的知識(shí)解決問(wèn)題的能力，為中華民族的復(fù)興、為人類(lèi)社會(huì)的進(jìn)步做貢獻(xiàn)。

據(jù)悉，林惠民是中國(guó)科學(xué)院院士，中國(guó)科學(xué)院軟件研究所研究員、博士生導(dǎo)師，計(jì)算機(jī)科學(xué)國(guó)家重點(diǎn)實(shí)驗(yàn)室主任。他長(zhǎng)期從事計(jì)算機(jī)程序研究特別是并發(fā)程序的形式語(yǔ)義學(xué)及形式化方法的研究，在進(jìn)程代數(shù)的驗(yàn)證工具、消息傳送進(jìn)程的語(yǔ)義理論和π演算的公理化等方向上取得突破性進(jìn)展，得到國(guó)際同行的公認(rèn)，是在國(guó)際上具有影響力的計(jì)算機(jī)科學(xué)家。

（供稿：錢(qián)紅生? 審核：徐建兵）