Born in 1989 in Jilin Province , I am currently studying Master of Software Engineering in Dalian University of Technology
Learning formal verification under Professor Weiqiang Kong
Sep 2015 - now BS (software engineering) Dalian University of Technology
N/A
Swimming / Basketball
Email: lich@mail.dlut.edu.cn
QQ: 297378104