Yue Wang (汪悦)'s Homepage

Contact​

• Office: Room 802, Building 6
• Address: Nanjing Institute of Software Technology
• email: wangyue241@mails.ucas.ac.cn

About me​

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

• Cyberspace Security
• Formal Verification

Education​

• Sept. 2024 – present: Master's Student in Software Engineering at Institute of Software, Chinese Academy of Sciences and University of Chinese Academy of Sciences
• Sept. 2023 – Jun. 2019: Software Engineering (Bachelor’s degree) at School of Computer Science, Nanjing Audit University