Yang Xiao (肖扬)'s Homepage

Contact​

• email: xiaoyang###ios**ac*cn

About me​

I am currently a Master's student in the group. My main research interests are:

• Hardware verification
• Verification of Cryptosystems

Education​

• Sept. 2024 – present: Master's student in Computer Science and Technology at Institute of Software, Chinese Academy of Sciences and University of Chinese Academy of Sciences
• Sept. 2020 – Jun. 2024: Bachelor's degree in Computer Science and Technology from Xidian University