Wenshuo Xu (许文硕)'s Homepage
Contact
- Address: Nanjing Institute of Software Technology
- email:
xuwenshuo25@mails.ucas.ac.cn
About me
I am currently a Master student in the group. My main research interests are:
- Cyberspace Security
- Formal Verification
Education
- Sept. 2025 – present: Master’s Student in Computer Technology, Nanjing University of Posts and Telecommunications (Joint Program with the Institute of Software, Chinese Academy of Sciences)
- Sept. 2021 – Jun. 2025: Network Engineering (Bachelor’s degree) at School of Computer Science, Henan Normal University