National University of Singapore
Doctor of Philosophy National University of Singapore, Singapore Bachelor of Engineering, First Class Honours Renmin University of China, China, Beijing
Software Engineering, Requirement Engineering, Program Analysis, Formal Methods (Modeling and Verification) Applications of Natural Language Processing, Machine Learning and Data Mining and Analysis techniques in Software Engineering
A Formal Semantics for the Complete Syntax of UML State Machines with Communications., The 10th International Conference on integrated Formal Methods (iFM 2013) June 14, 2013, Shuang Liu, Yang Liu, Étienne André, Christine Choppy, Jun Sun, Bimlesh Wadhwa, Jin Song Dong
mproving Quality of Use Case Documents through Learning and User Interaction, 21st International Conference on Engineering of Complex Computer Systems (ICECCS 2016), pages 101-110.