学院新闻
学院新闻
学术报告“Decision Making via Model Checking”在我院举行
时间: 2018-04-02 09:36  来源: 计算机学院

3月30日下午4:00,新加坡国立大学和澳大利亚格里菲斯大学董劲松教授为我院计算机科学与技术拔尖计划试验班全体同学举行了一场学术报告,报告主题为“Decision Making via Model Checking”,本次报告在我院B509举行,由四川大学计算机学院团委书记倪胜巧主持。

董劲松,格里菲斯大学综合智能系统研究院(IIIS)院长,新加坡国立大学计算机学院教授。他(以及牛津大学 Andrew Martin )是新加坡-美国智能电网(SmartGrid)项目的首席研究员,美国国家航空航天局(NASA)杂志《软件工程与方法论》(ACM Transaction)的编辑委员会成员,英国牛津大学日本国家信息学研究所的客座教授。

本次学术报告主要讨论了基于模型检验的事件规划、目标推理、预测、策略分析和决策制定,以及过程分析工具包(PAT)。PAT将状态、事件、时间和基于概率的语言的表达能力与高度优化的模型检查算法相结合。在这次报告中,董劲松教授以实例向学生讲解了PAT系统的设计和语言特点,对PAT的前景进行了展望,并展示了一些正在进行的和未来的研究项目。






】 【打印本文】 【关闭窗口

 

 

地址:(望江校区)成都市一环路南一段24号基础教学楼B座三楼 邮编:610065 电话:86-028-85469688
   (江安校区)成都市双流县川大路第二基础教学楼B座五楼 邮编:610207 电话:86-028-85990972

四川大学计算机学院版权所有 © 2011

Produced By CMS 网站群内容管理系统 publishdate:2018/04/02 10:42:06