Young Researcher Award

Assistant Professor DONG Jin Song

PhD (Queensland), BInfTech (Hons) (Queensland)
Department of Computer Science

Research Interests
  • Real-time concurrent system specification (TCOZ)
  • Web environment for software design (ZML)
  • Formal methods and safety critical systems
  • Object orientation and language semantics

Research Achievements
developed novel design techniques and new tools for software and system engineering and applied them to the Semantics Web, which is generally regarded as the next generation of the Web

Research Strength
ability to focus on the crux of a research problem in a specific domain and applying the results to a new domain

Publication Credits 50 papers published in internationally-refereed journals and conferences such as IEEE Transactions on Software Engineering and the ACM International World Wide Web Conference. Subjects covered include formal methods, web-based software design and real-time system specification

International Standing
  • Member, Steering Committee, International Conference on Formal Engineering Methods (ICFEM) and Asia Pacific Software Engineering Conference (APSEC)
  • Programme Co-chair and Editor, 5th ICFEM 2003 and 7th APSEC 2000 Member, Invited Programme Committee, International Symposium on Formal Methods, IEEE International Conference on Engineering of Complex Computer Systems and International Conference on Quality Software

Awards and Accolades
  • Richard Jago Memorial Prize, University of Queensland, 1995
  • Australian Postgraduate Award, Australian Government, 1993-1995

Research Aspiration
to make technical contributions that may improve software dependability especially for safety critical systems.