【2018年度雁棲湖會(huì)議:談大數(shù)據(jù)時(shí)代軟件自動(dòng)化】林惠民目前擔(dān)任中國(guó)科學(xué)院軟件研究所教授及學(xué)術(shù)委員會(huì)主任。他于1999年當(dāng)選為中國(guó)科學(xué)院院士。 林教授的研究方向包括:并發(fā),模型檢查和形式化方法。報(bào)告題目:程序自動(dòng)化報(bào)告摘要...#程序自動(dòng)化#
    背景信息:@自動(dòng)化網(wǎng)官方微博由中國(guó)科學(xué)院學(xué)部和北京市政府聯(lián)合舉辦的2018年度雁棲湖會(huì)議11日在北京懷柔開(kāi)幕。這次會(huì)議由中國(guó)科學(xué)院院士、北京理工大學(xué)教授梅宏?duì)款^組織,以“大數(shù)據(jù)時(shí)代軟件自動(dòng)化的機(jī)遇和挑戰(zhàn)”為主題,#軟件自動(dòng)化##大數(shù)據(jù)與自動(dòng)化#