|Date:||January 8, 2018 (Monday)|
|Time:||10:30 a.m. - 11:30 a.m.|
|Venue:||Room 121, 1/F, Ho Sin-hang Engineering Building,
The Chinese University of Hong Kong,
|Speaker:||Prof. Jin-Song Dong
National University of Singapore
Professor and Director
Institute for Integrated and Intelligent Systems
The process analysis toolkit (PAT) integrates the expressiveness of state, event, time, and probability-based languages with the power of model checking. PAT currently supports various modeling languages with many application domains and has attracted thousands of registered users from hundreds of organizations. In this talk, we will present the PAT approach to "Event Analytics" (EA) which is beyond "Data Analytics". The EA research is based on applying model checking to event planning, scheduling, prediction, strategy analysis and decision making. Various EA research directions will be discussed.
Jin Song Dong completed his PhD from University of Queensland in 1995 and worked as research scientist at CSIRO from 1995-1998. 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. His research is in the areas of formal methods, model checking, semantic technology, safety & security critical systems and probabilistic reasoning. He co-founded PAT reasoning system which has attracted 3000+ registered users from 900+ organizations in 72 countries. Currently, he is the lead Investigator for Singapore-UK joint project on smart grid security and privacy (with Andrew Martin at 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 ($42M). Jin Song is on the editorial board of ACM Transaction on Software Engineering and Methodology and Formal Aspects of Computing. He has been a Visiting Fellow at Oxford University and a Visiting Professor at National Institute of Informatics, Japan. Recently he took a research director position at Institute for Integrated and Intelligent Systems at Griffith University. He has supervised 25 PhD students and many of them have become tenured faculty members in the leading universities around the world, including NTU, SUTD, HZUST, Monash U, Auckland U and Tianjin U.
Enquiries: Ms. Crystal Tam at tel. 3943 8439
For more information, please refer to http://www.cse.cuhk.edu.hk/seminar.