【2018年度雁栖湖会议：谈大数据时代软件自动化】林惠民目前担任中国科学院软件研究所教授及学术委员会主任。他于1999年当选为中国科学院院士。 林教授的研究方向包括：并发，模型检查和形式化方法。报告题目：程序自动化报告摘要...#程序自动化#
    背景信息：@自动化网官方微博由中国科学院学部和北京市政府联合举办的2018年度雁栖湖会议11日在北京怀柔开幕。这次会议由中国科学院院士、北京理工大学教授梅宏牵头组织，以“大数据时代软件自动化的机遇和挑战”为主题，#软件自动化##大数据与自动化#