Speaker: Jin-Song Dong, National University of Singapore.
Time: 10:00-12:00, Dec. 1st
Location: 1A200, SIST
Host: Yuqi Chen
This seminar presents research work on applying the model checking system PAT (process analysis toolkit) to event planning, goal reasoning, and strategy analysis. PAT (https://pat.comp.nus.edu.sg) integrates state, event, time, and probability-based formal modeling languages with the power of model checking. PAT currently supports various verification modules with many application domains and has attracted thousands of registered users from hundreds of organizations. In this talk, we will also present some ongoing research projects, i.e., “Event/goal analytics for autonomous systems”, and “Sports Analytics using Probabilistic Model Checking” which led to the creation of a new international sports analytics conference series (https://formal-analysis.com/isace/2023/). The seminar also introduces “Silas: trusted machine learning” which integrates open machine learning for formal automated reasoning (www.depintel.com).
Jin-Song Dong is a professor and deputy head of the Computer Science Department at the National University of Singapore. His research interests include formal methods, safety and security systems, probabilistic reasoning, sports analytics, and trusted machine learning. He co-founded two commercialized systems: the PAT verification system and the trusted machine learning system Silas. He has received numerous best paper awards, including the ACM SIGSOFT ICSE Distinguished Paper Award. He served on the editorial board of ACM Transactions on Software Engineering and Methodology and Formal Aspects of Computing. He has successfully supervised 28 PhD students, many of whom have become tenured faculty members at leading universities worldwide. He is also a Fellow of the Institute of Engineers Australia. In his leisure time, Jin Song developed Markov Decision Process (MDP) models for tennis strategy analysis using PAT, assisting professional players with pre-match analysis (beating the world's best). He is a Junior Grand Slam coach and coached tennis to his three children, all of whom have reached the #1 national junior ranking in Singapore/Australia. Two of his children have earned NCAA Division 1 full scholarship, while his second son, Chen Dong, played #1 singles for Australia in the Junior Davis Cup World Final and participated in both the Australian Open and US Open Junior Grand Slams.