COM2-03-19
651 64353

www.comp.nus.edu.sg/~dongjs

DONG Jin Song

Professor

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

Jin-Song Dong is a full professor at the National University of Singapore. His research spans a range of fields, including formal methods with LLM agents, safety and security systems, trusted AI, probabilistic reasoning, sports analytics, and verified LLM code synthesis. He co-founded the commercialised PAT verification system, which has garnered thousands of registered users from over 150 countries. Jin Song also co-founded the commercialised trusted machine learning system Silas (www.depintel.com), with 50K+ downloads. He has published 200+ papers in top journals/conferences (i.e., ICML, NeurIPS, ICLR, CVPR, IJCAI, AAAI, POPL, ICSE, FM, CAV, etc), and received numerous best paper awards. He served on the editorial board of ACM Transactions on Software Engineering and Methodology, Formal Aspects of Computing, and Innovations in Systems and Software Engineering, A NASA Journal. Jin Song has been General/Program Chair for many international conferences, including FM 2014, when FM went to Asia for the first time. He has successfully supervised 34 PhD students, many of whom have become tenured faculty members at leading universities worldwide. He is a Fellow of the Institute of Engineers Australia. Jin Song developed Markov Decision Process (MDP) models for tennis strategy analysis using PAT, assisting professional players with pre-match analysis (beating the world's best). He founded a new international conference series on sports analytics (ISACE). In his spare time, he is a tennis coach and takes pleasure in coaching tennis to his students and his three children, all of whom have reached the #1 national junior ranking in Singapore/Australia. Two of his children have earned US NCAA Division-1 full scholarships.

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/LLM

  • Safety and Security Systems, Autonomous Systems, Blockchain, Sport Analytics

RESEARCH PROJECTS

RESEARCH GROUPS

TEACHING INNOVATIONS

SELECTED PUBLICATIONS

  • H Wang, X Zuo,Y Sun, Q Li,Y Ameur, J Dong. Towards LLM Agent for Formal Model Synthesis and Fixing, FSE, 2026
  • X Teoh, Y Lin, D Nguyen, R Ren, W Zhang, J Dong. WebTestPilot: Agentic End-to-End Web Testing against Natural Language Specification by Inferring Oracles with Symbolized GUI Elements. FSE 2026.
  • B Qi, Y Lin, X Weng, C Liu, H Sun, G Fraser, J Dong. Generalizing Test Cases for Comprehensive Test Scenario Coverage. FSE 2026.
  • Y Liao, Y Cao, Y Zhang, W He, Y Xiao, X Du, Z Huang, J Dong, Towards Stealthy and Effective Backdoor Attacks on Lane Detection: A Naturalistic Data Poisoning Approach. IEEE Conference on Computer Vision and Pattern Recognition (CVPR), 2026
  • M Ma, R Liu, Y Lin, Z Huang, J Dong. TrainRef: Curating Data with Label Distribution and Minimal Reference for Accurate Prediction and Reliable Confidence. ICLR 2026
  • Y Cao, W Song, D Wang, J Xue, J Dong. Failures to Surface Harmful Contents in Video Large Language Models, AAAI 2026
  • Z Liu, K Jiang, M Ma, Z Hou, Y Lin, J Dong. Few-Shot Precise Event Spotting via Unified Multi-Entity Graph and Distillation, AAAI 2026.
  • H Wang, M Xu, Y Guo, W Han, H Lim, J Dong. RulePilot: An LLM-Powered Agent for Security Rule Generation, ICSE 2026.
  • W Zhang, Y Lin, K Fung, X Teoh, X Xie, F Liauw, H Zhang, J Dong. MINES: Explainable Anomaly Detection through Web API Invariant Inference. ICSE 2026
  • J Hu, J Sun, C Wang, Y Huang, J Feng, Y Xu, Y Li, K Wang, W Miao, J Dong, G Pu. ADARULE: LLM-Driven Natural Language to LTL Conversion via Pattern-Adaptive Rule Induction, ICSE 2026.
  • Z Zhao, J Sun, Z Hou, Z Wei, C Cai, M Qiao, J Dong. MaCTG: Multi-Agent Collaborative Thought Graph for Automatic Programming, ICSE 2026.

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)

  • ACM SIGSOFT Distinguished Paper Award for ICSE (2020)

  • Singapore Cyber Grand Challenge Award 2024

  • First Prize at Research Prototype System Competition, CCF ChinaSoft 2025 (top 0.1%)

COURSES TAUGHT

CS4211
Formal Methods for Software Engineering
CS6218
Principles of Prog. Languages & Software Engineering

 

In the News