报告题目：Decision Making via Model Checking
报告人：Jin Song Dong (Professor, National University of Singapore and Griffith University)
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.