Jin Dong

Research areas

• design analysis and model checking (PAT)
• trusted machine learning and decision making (Silas)
• context awareness and pervasive computing (Semantic Space)
• real-time concurrent system specification (TCOZ)
• web semantics, services, agent and reasoning
• formal methods and safety/security critical systems
• object, component, and language semantics

Qualifications * PhD, University of Queensland, Australia (93 - 95) * BInfTech with First Class Honours, University of Queensland, Australia (89-92) - Major in Software Engineering.

Some Awards/Recognition

• Fellow of Institute of Engineers Australia (2018)
• 20 Year ICFEM Most Influential System Award (2018)
• IEEE Certificate of Appreciation for Outstanding Service as the Program Co-Chair at the 12th IEEE International Conference on Engineering of Complex Computer Systems (ICECCS'07), by IEEE Computer Society
• Visiting Fellow at Kellogg College, Oxford University (elected during 2006 sabbatical)
• NUS Young Researcher Award (2004)
• Richard Jago Memorial Prize (1995),
• Australian Postgraduate Award (93-95)