NUS Graduate School for Integrative Sciences and Engineering


DONG Jin Song

Supervisor Research focus Detailed Research Projects
1. Real-time concurrent system specification.
2. Verification for software design models.
3. Web semantics, services, agent and verification.
4. Formal methods and saftety critical systems.
5. Object, component and language semantics.
6. Context awareness computing and smart space.
1. Systematic Design Methods and Tools for Location Aware, Mobile and Pervasive Computing Systems.
2. Formal Methods and Tools for Autonomous Multi-Agent Systems.
3. Advanced Modelling Language and Tools for Web Ontology.
4. Reliable Software Development for Sensor Network Systems.
5. TImed Formalisms For Planning.


Research Area(s)

1. Embedded Computing Systems

top