js8金沙登入网址

公共目录

您目前的位置: 首页» 公共目录» 学术活动

学术报告:Modeling and Verifying Complex Interactions in Concurrent Systems

    人: 孙猛  教授(北京大学)

      间: 2019年11月19日 9:30

      : js8金沙登入网址二层大会议室

位: js8金沙登入网址

主讲学者简介:

孙猛,北京大学数学科学学院信息与计算科学系教授,博士生导师。主要研究领域为软件理论和形式化方法,近年来的工作主要包括:协调模型和语言,余代数理论及其应用,模型检验,定理证明,软件测试,信息物理融合系统,面向服务与云计算,区块链智能合约的建模与验证,大数据分析,机器学习与深度学习的理论基础及相关技术在形式化验证中的应用。主持及作为主要成员参加国家及省部级项目十余项,在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.

 

欢迎感兴趣的老师和同学前来参加!