DONG Jin Song

Ph.D. (University of Queensland, Australia, 1995)
B.InfTech. (Software Engineering, 1st Class Honours, University of Queensland, Australia, 1992)
651 64353

Research Areas

  • Programming Languages & Software Engineering

Research Interests

  • time concurrent system, specification, semantic web, formal methods, safety critical systems
  • Software Engineering, Formal Methods, Model Checking, Probabilistic Reasoning, Decision Marking, Trusted AI
  • Safety and Security Systems, Autonomous Systems, Blockchain, Sport Analytics


Jin Song has joined in the School of Computing at the National University of Singapore (NUS) in 1998 and currently he is a full professor at SoC. His research is in the areas of formal methods, model checking, semantic technology, safety & security critical systems and probabilistic reasoning. With his former PhD student Sun Jun and Liu Yang, they co-founded PAT reasoning system which has attracted 4000+ registered users from 900+ organizations in 89 countries, including, e.g., AutoNetworks Tech, Toyota, NTT, Mitsubishi, Japan Aerospace eXploration Agency, BD Biosciences, etc. 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. Jin Song has been a Visiting Fellow at Oxford University, UK, and a Visiting Professor at National Institute of Informatics, Japan. He has successfully supervised 25 PhD students and many of them have become tenure track faculty members in the leading universities around the world, including NTU, SUTD, HUST, Tianjin U, Monash U and Auckland U.

Current Projects

  • Co-Principal Investigator of “Predicative Security Analytics” in SM SingTel-NUS Joint Cyber Security Lab (2016-2020)
  • Singapore Principal Investigator of Singapore-UK Cyber Security Project on “Security and Privacy in Smart Grid Systems: Countermeasure and Formal Verification” (with Oxford University), (S0K, 2016 – 2019)
  • Partner Investigator of European Commission Horizon 2020 programme on “Elderly-friendly City services for active and healthy ageing” (4.5M EUR, 2015-2018)
  • Co-Principal Investigator of NRF-Cyber Security Program on “Securify: A Compositional Approach of Building Security Verified System “(SM, 2014-2019)
  • Co-Principal Investigator of NRF-Cyber Security Program on " Trustworthy systems from untrusted Components” (SM, 2014-2019)

Selected Publications

  • L. Li, J. Sun, Y. Liu, J.S. Dong, M. Sun, A Formal Specification and Verification Framework for Timed Security Protocols, IEEE Transactions on Software Engineering (TSE), accepted in May 2017.

  • G. Bai, J. Ye, J. Sun, Y. Liu, W. Visser, J.S. Dong, Towards Model Checking Android Applications, IEEE Transactions on Software Engineering (TSE), accepted in March 2017.

  • T. Wang, J. Sun, Y. Liu, J.S. Dong, X. Li. A Systematic Study on Non-Zenoness Checking for Timed Automata. IEEE Transactions on Software Engineering (TSE), 41(1): 3-18 (2015)

  • J. S. Dong, Y. Liu, J. Sun. Towards Verification of Computation Orchestration. Formal Aspects of Computing (FAC) journal, Springer, 26(4): 729-759 (2014)

  • S. Lin, E. Andre, Y. Liu, J. Sun, J. S. Dong, Learning Assumptions for Compositional Verification of Timed Systems, IEEE Transactions on Software Engineering (TSE), 40(2): 137-153 (2014)

  • Y. Li, J. S. Dong, J. Sun, Y. Liu. Model Checking Approach to Automated Planning, Formal Methods in System Design (FMSD) journal, Springer, 44(2): 176-202 (2014)

  • Y. Liu, W. Chen, A. Liu, J. S. Dong. Verifying Linearizability via Optimized Refinement Checking. IEEE Transactions on Software Engineering (TSE), 39(7):1018-1039, 2013.

  • J. Sun, Y. Liu, J. S. Dong, E. Andre. Modeling and Verifying Hierarchical Real-time Systems using Stateful Timed CSP. ACM Transactions on Software Engineering and Methodology (TOSEM), 22(1):3:13-29, 2013. 

Awards & Honours

  • Best Paper Award at ICECCS (2015)
  • Best Journal Paper Award at Software and Systems Modeling (SSM) journal (2014)
  • Best Paper Award at ICECCS (2012)
  • IEEE Reliability Society Leadership Award In Recognition of Outstanding Leadership and Services as the General Chair of the 4th IEEE International Conference on Secure Software & Reliability Improvement (SSIRI), 2010.

Teaching (2021/2022)

  • CS5232: Formal Specification and Design Techniques
  • CS5219: Automated Software Validation