I am currently a member of the Formal Verification Group under the supervision of Dr. Mingshuai Chen and will pursue an M.Sc. degree in Software Engineering starting in September 2026. My research interests include AI for Formal Methods (AI4FM), Automated Verification, Static Analysis. I am particularly interested in exploring the integration of artificial intelligence and formal methods to advance program synthesis, verification, and the development of reliable software systems.