Dr. 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, sports analytics, and trusted machine learning.
He co-founded the PAT verification system which has attracted 4000+ registered users from 1000+ organizations. Jin Song has been on the editorial board of ACM Transaction on Software Engineering and Methodology and Formal Aspects of Computing. He has successfully supervised 26 Ph.D. 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 Markov Decision Process (MDP) models for tennis strategy analysis in PAT. Jin Song also enjoys coaching tennis to his 3 kids who all reached the #1 Singapore/Australia national junior ranking.