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