HI THERE IS MY HOMEPAGE!
I am a Master's student at Xidian University, School of Cyber Engineering (2024-2027), where I also completed my Bachelor's degree in Cybersecurity (2020-2024).
My research focuses on Machine Learning, Verifiable Security, and Reinforcement Learning. I work at Cyber Chang'an@XD under the supervision of Prof. Hui Li.
News
[2025.01]
Our paper VIRF is accepted by ICLR 2026!
Experience
Xidian University
Sep 2024 - Now
Master Student at School of Cyber Engineering
Working at Cyber Chang'an under the supervision of Prof. Hui Li
Sep 2024 - Now
Master Student at School of Cyber Engineering
Working at Cyber Chang'an under the supervision of Prof. Hui Li
Xidian University
Sep 2020 - Jun 2024
Bachelor Student at School of Cyber Engineering
Cybersecurity undergraduate student
Sep 2020 - Jun 2024
Bachelor Student at School of Cyber Engineering
Cybersecurity undergraduate student
Publications
Grounding Generative Planners in Verifiable Logic: A Hybrid Architecture for Trustworthy Embodied AI
A neuro-symbolic framework that enables LLM planners to learn from safety feedback and repair unsafe plans, achieving 0% hazardous actions while maintaining high task success rates.
Projects
Network-Air-Space Integrated Cybersecurity Emergency System
Led the development of a comprehensive cybersecurity emergency response system integrating network, air, and space domains. Implemented core security protocols using socket communication and multi-threading, designed UAV components, and completed patent & software copyright applications.
Awards: Challenge Cup School-level First Prize, Internet+ Provincial Gold
[Private Project]
WoXing Travel APP
An intelligent travel assistant Android app featuring conversational interface for itinerary planning and comprehensive travel management. Responsible for UI design using Material Design principles and Android frontend development with Google-style aesthetics.
Award: China University Computer Competition AIGC Innovation Contest Second Prize
Awards
now
2023-11
Cryptography Technology Competition Third Prize
National Cryptography Technology Competition
Demonstrated expertise in cryptographic algorithms and security
2023-07
Internet+ Provincial Gold Award
China International College Students' Innovation Competition
Recognized for innovative project in provincial-level competition
2023-04
Challenge Cup First Prize
Xidian University Challenge Cup Competition
University-level innovation and entrepreneurship competition
2023-02
Mathematical Contest in Modeling Honorable Mention
COMAP (International Competition)
Served as modeler and co-author for mathematical modeling paper
2023
First-class Scholarship
Xidian University
Academic excellence recognition for outstanding performance
2022-10
Meiya Cup Digital Forensics Competition Team Second Prize
National Digital Forensics Competition
National-level digital forensics and cybersecurity competition
2022-09
Chang'an Cup Digital Forensics Competition Team Second Prize
Provincial Digital Forensics Competition
Provincial-level digital forensics and incident response competition
2022
Second-class Scholarship
Xidian University
Academic achievement recognition for excellent performance
2021
Third-class Scholarship
Xidian University
Academic merit recognition during undergraduate studies
2020-09