Contact

• Office:  Room 339, Building 5
• Address: South Fourth Street 4#, Zhong Guan Cun, Beijing
• email: chizm@ios.ac.cn

About me

I am currently a Ph.D student in the group. My main research interests are:

• Neural Network Verification

Education

• 9/2021 – present: Ph.D. 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: Mathematics and Applied Mathematics (Bachelor’s degree) at Lanzhou University