Avatar

Dong Jin Song

Professor, Computer Science Department, School of Computing, NUS

National University of Singapore

Jin Song has joined in the School of Computing at the National University of Singapore (NUS) in 1998 and currently he is a full professor at SoC. His research is in the areas of formal methods, model checking, semantic technology, safety & security critical systems and probabilistic reasoning.

https://www.comp.nus.edu.sg/~dongjs/