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
- Sept. 2021 – present: Master Student in Hangzhou Institute of Advanced Studies, Chinese Academy of Sciences and University of Chinese Academy of Sciences
- Sept. 2017 – Jun. 2021: Computer Science and Technology (Bachelor’s degree) at CS, NanChang University