NUS Graduate School for Integrative Sciences and Engineering

DONG Jin Song

Research Areas
Brief Description of Research
1. Cyber Security
2. Trusted AI
3. .Location-based Services
4. Decision Making
5. Formal Methods
6. Data Science


My research is in model checking, cybersecurity, real-time & probabilistic systems, formal methods, pervasive computing, autonomous systems, e-health and semantic technology. I am currently on the editorial board of ACM TOSEM, Formal Aspects of Computing. I have supervised 25 PhD students (23 sole supervisions) to their successful completion; many have become university tenured or tenure-track faculty members around the world, inc: NTU, SUTD, Monash U, Auckland U, HUST etc.