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