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. 2019 – Jun. 2023: Bachelor's degree in Software Engineering from the School of Computer Science, Nanjing Audit University