University Awards

University Research Recognition Award

To develop sound mathematical theories, modeling languages, and automatic verification systems, then apply them in a new context with real-world applications that no one has imagined before. ” Prof DONG Jin Song
PhD, BSc (University of Queensland)
Department of Computer Science
Download Citation

Research Achievements

  • Developed the Process Analysis Toolkit (PAT), a multi-domain model checker applied internationally to verify highly complex algorithms and to find unknown security flaws in web systems with millions of users 
    • PAT has over one million lines of C# (programming language) source code with its innovative features described in over 100 refereed publications (with citations in the thousands) and 12 PhD theses
    • PAT has over 4,000 registered users from more than 1,000 industries/organisations in 150 countries
    • For this invention, Prof Dong and his former PhD students, Prof Liu Yang (at NTU) and Prof Sun Jun (at SMU) were conferred the 20 Years’ Most Influential System Award at the 20th International Conference on Formal Engineering Methods in 2018
  • Co-founded Dependable Intelligence which provides advanced software and professional services for high-performance machine learning applications; and Semantic Engineering which specialises in web ontology and formal verification
  • Supervised 25 PhD students and many of them have become tenured faculty members in leading universities around the world

Publication Credits

  • Published more than 200 papers in leading peer-reviewed journals/proceedings and two books
  • Won a number of Best Papers Awards in international journals and conferences

International Standing

  • Editorial board member of several scientific journals such as ACM Transactions on Software Engineering and Methodology, Formal Aspects of Computing Journal, Innovations in Systems and Software Engineering: A NASA Journal
  • Advisory board member of Formal Methods Europe
  • Steering committee member of IEEE Pacific Rim International Symposium on Dependable Computing and International Conference on Engineering of Complex Computer Systems series
  • Panel member of the Australian Research Council’s Excellence in Research for Australia Evaluation Committee (2018 University Rating), and reviewer for funding agencies worldwide
  • Widely sought-after speaker at international symposiums

Awards and Accolades

  • Fellow of the Institute of Engineering Australia (2018)
  • Young Researcher Award, NUS (2004)
 Honour Roll Recipients