Research output per year
Research output per year
LI-6388
Research activity per year
ORCID iD: 0000-0003-4437-0671
Scopus Author ID: 57205687721
Prof. XU has obtained his PhD degree at the Northeastern University, and he holds a MSc degree and a BSc degree from the Department of Computer Science at the University of Florida and Sichuan University respectively. His primary research focuses on Trustworthy AI, including formal verification, practical adversarial attacks, and uncertainty quantification. As a Principal Investigator, Prof. Xu has led multiple research projects funded by the U.S. NSF and national laboratories. His work bridges rigorous theoretical guarantees with practical AI robustness solutions, advancing the safety and reliability of AI systems in real-world applications.
Prior to joining us, Prof. XU was an Assistant Professor in the Department of Computer Science at Drexel University from 2021 to 2025. With extensively publication in top-tier venues across machine learning, computer vision, and natural language processing; and serving as a program committee member and area chair for leading conferences. In addition, Prof. Xu is a four-time champion of the International Verification of Neural Networks Competition (VNN-COMP 2021, 2022, 2023, 2024), a recipient of Drexel’s Faculty Research Excellence Award, and a winner of the Best Paper Award at the NeurIPS 2024 GenAI4Health workshop.
Trustworthy AI, Uncertainty Quantification, Formal Verification, AI in Health, Foundation Models
In 2015, UN member states agreed to 17 global Sustainable Development Goals (SDGs) to end poverty, protect the planet and ensure prosperity for all. This person’s work contributes towards the following SDG(s):
Research output: Chapters, Conference Papers, Creative and Literary Works › RGC 32 - Refereed conference paper (with host publication) › peer-review
Research output: Chapters, Conference Papers, Creative and Literary Works › RGC 32 - Refereed conference paper (with host publication) › peer-review
Research output: Chapters, Conference Papers, Creative and Literary Works › RGC 32 - Refereed conference paper (with host publication) › peer-review
Research output: Chapters, Conference Papers, Creative and Literary Works › RGC 32 - Refereed conference paper (with host publication) › peer-review
Research output: Chapters, Conference Papers, Creative and Literary Works › RGC 32 - Refereed conference paper (with host publication) › peer-review
XU, K. (Recipient), Sept 2025
Prize: RGC 64B - Prizes and awards