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/