Xiaokun Luan 栾晓坤

I am a research fellow at the School of Computing, National University of Singapore (NUS), working with Prof. Jin Song Dong. I received my Ph.D. in Applied Mathematics from 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: [ɕjɑʊkʰun] (Shee-ow Koon) [lwɑn] (Loo-ahn).

Research Interests

• Trustworthy AI. Building trustworthy AI systems across their lifecycle, with a current focus on reliable and safe agentic AI.
• AI × Formal Methods. Exploring how AI can support formal reasoning and how formal methods can strengthen AI systems (AI4FM & FM4AI).
• Formal Verification. Modeling and verifying complex systems with formal methods, primarily using the Rocq and Isabelle/HOL theorem provers.

I am always happy to discuss new ideas, research questions, and potential collaborations. If our interests overlap, please feel free to get in touch.

Work Experience

• July 2026 - Present: Research Fellow at the School of Computing, National University of Singapore, Singapore. Advisor: Prof. Jin Song Dong
• 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, Nanyang Technological University, 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: xiaokun.luan AT nus.edu.sg

Address: PLSE Lab, COM3-02-20, School of Computing, National University of Singapore, 11 Research Link, Singapore 119391