学　术

　　人力资源部教师发展中心“学者论坛”第92期安排如下，欢迎广大师生参加：

　　一、主　题：Decision Making via Model Checking

　　二、主讲人：澳大利亚格里菲斯大学　Jin-Song Dong 教授

　　三、时　间：2018年3月19日（周一）10:00

　　四、地　点：清水河校区图书馆光影厅

　　五、主持人：计算机科学与工程学院（网络空间安全学院）  申恒涛 教授

　　六、交流内容：

　　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.

　　八、主办单位：人力资源部教师发展中心

　　　　承办单位：计算机科学与工程学院（网络空间安全学院）

　　　　　　　　　未来媒体研究中心

　　　　　　　　　　　　　　　　　　　　人力资源部教师发展中心

　　　　　　　　　　　　　　　　　　　　　 2018年3月16日