I received my phd degree at East China Normal University, Shanghai, China, majored in Software Engineering.

I am interested in formal specification and verification, specification and verification of embedded systems.