主 讲 人： 孙猛 教授（北京大学）
时 间： 2019年11月19日 9:30
地 点： 72779太阳集团游戏二层大会议室
主 办 单 位： 72779太阳集团游戏
主讲学者简介：
孙猛，北京大学数学科学学院信息与计算科学系教授，博士生导师。主要研究领域为软件理论和形式化方法，近年来的工作主要包括：协调模型和语言，余代数理论及其应用，模型检验，定理证明，软件测试，信息物理融合系统，面向服务与云计算，区块链智能合约的建模与验证，大数据分析，机器学习与深度学习的理论基础及相关技术在形式化验证中的应用。主持及作为主要成员参加国家及省部级项目十余项，在IEEE Transactions on Software Engineering、Theoretical Computer Science、Science of Computer Programming、ICSE、FSE、FM等国际期刊及会议发表论文80余篇，获TASE 2015等多个国际会议最佳论文奖，担任国际会议ICFEM 2018、TTSS 2011、FACS 2009程序委员会主席，FM 2019、TACAS 2019等60余个国际会议程序委员会委员。
内容介绍：
The complex interactions among system components makes coordination models and languages very important for the analysis, design and verification of concurrent systems. In this talk, I will introduce the coordination language Reo that has been successfully used in many areas, such as Web service composition, multi-agent systems and biological systems. The following topics will be covered in this talk: modeling, verification, performance analysis and machine learning for complex interactions in Reo.
欢迎感兴趣的老师和同学前来参加！