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