Contact

• email:gantao21@ucas.ac.cn

About me

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

• Neural Network Verification
• Reinforcement Learning

Education

• 9/2021 – present: Master Student in Hangzhou Institute of Advanced Studies, Chinese Academy of Sciences and University of Chinese Academy of Sciences
• 9/2017 – 6/2021: Computer Science and Technology (Bachelor’s degree) at CS, NanChang University