Tianyu Chen is a fifth-year Ph.D. candidate in the School of Computer Science at Peking University, advised by Prof. Tao Xie. He has published four first-author papers in top-tier AI, software engineering conferences and journals, e.g., ACL, ICLR, and TOSEM. His research centers on AI for Software Engineering, Security, and program formal verification via Large Language Models (LLMs). He was a research intern at Huawei Cloud for two years and at Microsoft Research Asia (MSRA) for one year. At MSRA, he contributed to automated Verus verification.