【“数学一小时”系列讲座】大规模系统中复杂交互行为的建模与验证
发布日期:
2015-09-23
[刘雨龙]
[返回]
或许在上学期，“北大数学一小时”系列讲座的现场盛况曾让你印象深刻，老师的精彩报告曾引发了你许多思考。
或许在这学期，你对很多新问题有了新的期待。
本学期，“北大数学一小时”将继续邀请数学中心和数学学院的老师们，相信回到主场的老师们将为你带来最精彩的报告与最深刻的认知！
本次报告摘要：
大规模系统中组件之间交互及并发行为的复杂性使得系统的分析、设计与验证非常困难，协调语言已经在web服务组合、生物系统、多agent系统等复杂系统的建模领域中得到了成功应用。本次报告将介绍我们在相关领域的一些工作，包括协调语言Reo对于复杂交互行为的建模、对模型的定量分析及验证技术、信息物理系统中交互行为的形式化模型，以及相关的工具支持。
主讲人简历：
孙猛于1999年和2005年分别在北京大学数学科学学院获得学士及博士学位，2002年3月至2003年7月在联合国大学国际软件技术研究所任客座研究员，2005到2006年在新加坡国立大学计算学院从事博士后研究，2006年至2010年在荷兰国家数学与计算机科学研究中心 （CWI）任研究员，2008年在荷兰莱顿大学计算机系任兼职讲师。2010年6月到北京大学工作，现为北京大学数学科学学院信息科学系副教授，博士生导师。现主持国家自然科学基金和教育部博士点基金项目各一项，担任国际期刊Frontiers in ICT、Frontiers in Applied Mathematics and Statistics编委，国际会议 FACS 2009、TTSS 2011程序委员会主席及多个国际会议的程序委员会及指导委员会委员，出版专著1部，主编国际会议文集2部，主编SCI期刊 Science of Computer Programming专刊1期，在软件工程领域顶级国际会议ICSE、FSE等多个重要国际会议及专业期刊发表及录用论文50余篇，获2004年第10届代数方法与软件技术国际会议最佳学生论文奖，2015年第9届软件工程理论国际会议最佳论文奖。
讲座时间：9月25日晚上7-8点
讲座地点：1114M
欢迎您的到来！
北京大学数院学生会
2015.9.22