Griffith University logo


Jin-Song Dong

Institute for Integrated and Intelligent Systems
+61 (0)7 3735 6799 (Work)
N34 1.46, Nathan Campus

Are you Jin-Song Dong?

Edit your profile


Jin-Song Dong is a full professor at the School of Computing at the National University of Singapore (NUS) and a research professor at Griffith University (part-time). From 2017-2018, Jin Song was the Director of the Institute for Integrated Intelligent Systems (IIIS) at Griffith University and managed to double IIIS external funding in two years. His research is in the areas of formal methods, safety and security systems, probabilistic reasoning and trusted machine learning. He co-founded PAT verification system which has attracted 4000+ registered users from 1000+ organizations in 150 countries and won 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 Fellow of Institute of Engineers Australia. In his spare time, he developed 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 (his 2nd son Chen played #1 singles for Australia in Junior Davis Cup).


  • Member
    Institute for Integrated and Intelligent Systems2016