内容

学术讲座:Event-Strategy Analytics

阅读数:408    发布:2018-01-03 12:41    更新:2018-01-03 14:18    

Title: Event-Strategy Analytics

Speaker: Professor Jin-Song Dong, National University of Singapore and Griffith University

时间:2018年1月6日(周六)下午3-4点

地点:计软大楼938会议室


Abstract:

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.

Bio: 

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 Intelligent System 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, Auckland U, Monash U and Tianjin U.


深圳大学计算机与软件学院 2009-2016