Contact
- Office: No. 601, Room 339, Building 5
- Address: South Fourth Street 4#, Zhong Guan Cun, Beijing
- email:
liuzx###ios**ac*cn
About me
I am currently a master student in the group. My main research interests are:
- Program analysis
- Software verification
Education
- Sept. 2021 – present: Ph.D. Student in Computer Software and Theory at Institute of Software, Chinese Academy of Sciences and University of Chinese Academy of Sciences
- Sept. 2017 – Jun. 2021: Radio and Television Engineering (Bachelor’s degree) at Communication University of China (CUC)