学术看板
科研动态
学院基金
成果展示
科研团队
相关政策
科研机构
学术看板
学术报告——Decision Making via Model Checking
时间: 2018-03-19 09:18  来源: 计算机学院

 

报告题目:Decision Making via Model Checking

报告人:Jin Song Dong (Professor, National University of Singapore and Griffith University)

报告时间:201832610:00

报告地点:学院报告厅(望江校区基础教学大楼B302

 

报告内容:

This seminar focuses on applying formal reasoning to event planning, goal reasoning, prediction, strategy analysis and decision making based on Model Checking, esp., the process analysis toolkit (PAT). PAT integrates the expressiveness of state, event, time, and probability-based languages with the power of highly optimized model checking algorithms. PAT currently supports various modelling languages with many application domains and has attracted thousands of registered users from hundreds of organizations. In this talk, we will also present some ongoing and future research projects.

 

报告人简介:

Professor Jin Song Dong is the director of the Institute for Integrated Intelligent Systems (IIIS) Griffith University. IIIS has 40 faculty members and 80 PhD students working on AI, Cyber Security, Blockchain, Signal Processing and Machine Learning. Jin Song received his Bachelor (1st hon) and PhD degrees in Computing from University of Queensland in 1992 and 1996. From 1995 to 1998, he was research scientist at CSIRO in Australia. Since 1998 Jin Song has been in the School of Computing at the National University of Singapore (NUS) where he received full professorship in 2016. He co-founded Semantic Engineering PTE LTD and the PAT reasoning system which has attracted 3000+ registered users from 900+ organisations in 72 countries, including, e.g., AutoNetworks Tech, Toyota, NTT, Mitsubishi, Japan Aerospace eXploration Agency, etc. He is the lead Investigator for Singapore-UK joint project on smart grid (with Andrew Martin from Oxford University). He is the co-investigator of "Securify: A Compositional Approach of Building Security Verified System", "Trustworthy systems from untrusted Components", and Singtel-NUS Cyber Security joint lab (33M USD). Jin Song is on the editorial board of ACM Transaction on Software Engineering and Methodology, Formal Aspects of Computing, and Innovations in Systems and Software Engineering, A NASA Journal. Jin Song has been a Visiting Fellow at Oxford University, UK, and a Visiting Professor at National Institute of Informatics, Japan. He has successfully supervised 25 PhD students and many of them have become tenured faculty members in the leading universities around the world.

 

欢迎广大师生踊跃参加!

 

 

外事科

                                                    2018319






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

 

 

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

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

Produced By CMS 网站群内容管理系统 publishdate:2018/03/19 10:22:29