Zongxin Liu (刘宗鑫)’s Homepage


  • 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:

  • Programming analysis
  • Software verification


  • 9/2021 – present: Master Student in Computer Science and Technology at Institute of Software, Chinese Academy of Sciences and University of Chinese Academy of Sciences
  • 9/2017 – 6/2021: Radio and Television Engineering (Bachelor’s degree) at Communication University of China (CUC)