Short Bio
Jianshuo Xu is a Ph.D. candidate
at the Software Engineering Institute, East China Normal University. His research focuses on
the use of LLM techniques and formal methods to rigorously ensure the correctness and
security of software and network systems.
Jianshuo is currently pursuing his Ph.D. in
Software Engineering at East China Normal University (2022-) and Shanghai Innovation
Institute (Joint Program, 2025-), co-advised by Prof. Geguang Pu, Prof. Jianwen Li,
and Prof. Chengcheng Wan. Prior to that, he received his B.S. degree in Cyber Engineering
from Dalian University of Technology in 2022.