Xiaokun Luan

Ph.D. student, Peking University

I am Xiaokun Luan (栾晓坤), a final-year Ph.D. candidate at the School of Mathematical Sciences, Peking University, advised by Prof. Meng Sun. Before that, I obtained my B.S. degree in Information and Computing Science from School of Mathematical Sciences, Peking University in 2021.

Pronunciation of my name: [ɕjɑʊkʰun] (Shee-ow Koon) [lwɑn] (Loo-ahn).

My research, at the intersection of software engineering and artificial intelligence, has been published in top-tier venues such as FSE, POPL, and ICML. I am honored that our work was recognized with an ACM SIGSOFT Distinguished Paper Award at FSE 2025.

I expect to graduate in 2026 and I am actively seeking faculty or research positions. You can find my CV here. I welcome inquiries about my work and potential opportunities.

Research Interests

I focus on the following areas:

  • Trustworthy AI & Safety, covering the full AI system lifecycle, with a current focus on content provenance and model intellectual property protection (e.g., watermarking and fingerprinting).
  • Formal Modeling and Verification, Applying formal methods, primarily interactive theorem provers like Rocq (Coq) and Isabelle/HOL, to model and verify complex systems.
  • Synergy between AI and Formal Methods, exploring the bidirectional fusion between these fields (AI4FM & FM4AI).

I am always open to new ideas and potential collaborations. If you share similar interests, I would be delighted to connect.

Work Experience

  • June 2025 - September 2025: Research Intern at Fermat Labs, Huawei, China. Advisor: Prof. Shengchao Qin
  • January 2024 - July 2024: Research Assistant Intern at Cyber Security Lab (CSL), Nanyang Technological University (NTU), Singapore. Advisor: Prof. Yang Liu and Prof. David Sanan

Hobbies

Outside of academia, I enjoy solving puzzles (e.g., Rubik’s Cube, Sudoku, Nonograms), playing video games (e.g., DOTA2, Don’t Starve Together), and watching movies (e.g., Sci-Fi, Suspense).

Contact

Email: luanxiaokun AT pku DOT edu DOT cn

Address: Room 101, Building 20, No. 5 Yiheyuan Road, Haidian District, Beijing, China, 100871