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