NUS Expertise > Jin Song DONG
Jin Song DONG |
Research Interests
Design analysis and verification, context awareness and pervasive computing, real-time concurrent system specification, web semantics, services, agent and reasoning, formal methods and safety critical systems, object, component and language semantics Grants
Collaborators
Projects Cybersecurity |