About Me
I am Wei Li, an exam-exempted master’s student who majors in cyberspace security at School of Cyber Engineering, Xidian University (XDU), China. I’m a former CTF player in L-team and XDSEC. My research interest falls in securing software systems via formal methods. During my undergraduate education, I mostly focused on CTF competitions and extracurricular activities of the information security club XDSEC. By self-study and cooperation with my teammates, I have been granted a postgraduate recommendation due to my performance in information security-related competitions....