PAT: Process Analysis Toolkit

An Enhanced Simulator, Model Checker and Refinement Checker for Concurrent and Real-time Systems

PAT group’s PhD students graduated

6 PhD students in PAT group have successfully graduated at NUS in 2015.

Congratulations to Dr. Bai Guangdong, Dr. Gui Lin, Dr. Liu Shuan, Dr. Liu Yan, Dr. Nguyen Truong Khanh (missed from the celebration lunch photo) and Dr. Shi Ling.

We also like to thank them and previous 2014/2013 PhD graduates Dr. Tan Tian Huat, Dr. Song Songzheng, Dr. Zhang Shaojie, Dr. Zhang Xian and Dr. Zheng Manchun for their great contributions to the PAT related research.

pat2015phds