I am a PhD candidate at the SVV Lab. My supervisors are Prof. Briand and Dr. Domenico Bianculli. I started my PhD in November 2012. My research topic is "Model-driven Run-time Verification of eGovernment Business Processes".

My research interests are pattern-based temporal properties specification and model-driven engineering particularly for run-time verification of business processes.

I received my bachelor's degree in software engineering from Jilin University, China, in 2009. I did my Master of Engineering under the supervision of Prof. Li Zhang at Beihang University in China. During 2009 - 2012, I was participating in a national research program named "Requirement Engineering - Basic Research on Software Engineering of Complex System". My master's thesis is titled "Research on Key Technologies of Requirement Verification and Validation Resource Library".