I am the secretary of the Formal Verification Group in charge of the administrative affairs.
M.Sc. in Finance, 2011
Coventry University
B.Sc. in Economics, 2010
Coventry University & Zhejiang University of Finance and Economics