If you made any changes in Pure these will be visible here soon.

Personal profile


Dr Xiaoning Du received her Ph.D. from Nanyang Technological University in 2020 and her bachelor’s degree from Fudan University in 2014. She specializes in software engineering, AI, and cybersecurity. Her research has bridged the gap between the theory and practical usage of program analysis and formal methods to evaluate AI-assisted software systems for better quality assurance and security. Her publications appear in top-tier venues including ICSE, FSE, ASE, NeurIPS, AAAI, S&P, TDSC, and FM.

Education/Academic qualification

Computer Science, PhD, Nanyang Technological University

3 Aug 201529 Feb 2020

Software Engineering, Bachelor, Fudan University

1 Sep 201030 Jun 2014

Research area keywords

  • Sotware Engineering
  • Artificial intelligence
  • Software Security


Recent external collaboration on country/territory level. Dive into details by clicking on the dots or