Zongxin Liu (刘宗鑫)'s Homepage

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)

Publications

• Zongxin Liu, Pengfei Yang, Lijun Zhang, Xiaowei Huang (): DeepCDCL: A CDCL-based Neural Network Verification Framework. In Theoretical Aspects of Software Engineering - 18th International Symposium, TASE 2024, Guiyang, China, July 29 - August 1, 2024, Proceedings, volume 14777 of Lecture Notes in Computer Science, pages 343-355, 2024. DOI BIB