Distinguished Lecture Series : Trusted Decision Making and Dependable Intelligence : A Formal Approach

Professor Jin-Song Dong is a full professor at the School of Computing at the National University of Singapore (NUS). His research is in the areas of formal methods, safety and security systems, probabilistic reasoning and trusted machine learning. He co-founded the PAT verification system which has attracted 4000+ registered users from 1000+ organizations in 150 countries and won the 20 Year ICFEM Most Influential System Award in 2018. 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. He has successfully supervised 26 PhD students and many of them have become tenured faculty members in the leading universities around the world. He is a Fellow of the Institute of Engineers Australia. In his spare time, he developed the Markov Decision Process (MDP) models for tennis strategy analysis in PAT. Jin Song also plays competitive tennis and enjoys coaching tennis to his 3 kids who all reached #1 Singapore/Australia national junior ranking.