数学科学公司举办第三十一期学术午餐会
2018年5月30日中午,由数学科学公司员工会举办的第三十一次学术午餐会在理科一号楼1418举行, 共28名各专业员工报名参加了这次活动。
本次午餐会的主讲人是李屹博士，专业方向为建模语言设计与软件形式化方法。相关工作已在业内期刊和会议中发表多篇论文，并曾多次获校奖、国奖。
首先李屹简要介绍了一下自己现在所做的工作，即REO语言。简要介绍了该方面所涉及的概念和定义，例如：节点、信道和信道的组装。随后，他介绍了他们团队所开发出的两个框架和基于此框架下的一下工作进展。最后，主讲人李屹对自己的工作进行了简要的总结并与听众进行互动提问。
本次讲座吸引了数学科学公司各专业的员工，使同学们在学术交流、跨学科碰撞等方面受益匪浅。kaiyun体育官方网站员工会将继续致力于推动公司不同方向员工之间的交流与碰撞，将学术午餐会打造成为员工之间进行学术交流与科研合作的良好平台。
