Dr Xiaoning Du is currently a lecturer (a.k.a. Assistant Professor) under the Department of Software System and Cybersecurity, Faculty of Information Technology. She received her PhD from Nanyang Technological University in 2020 and her bachelor’s degree from Fudan University in 2014. Xiaoning 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 in the evaluation of traditional and AI-assisted software systems, aiming for better quality assurance and security. Her publications appear in top-tier venues including S&P, TDSC, ICSE, FSE, ASE, NeurIPS, AAAI, and FM.