Xiyue Zhang’s research focuses on developing trustworthy AI systems through rigorous verification and testing methods. Her work sits at the intersection of formal methods, artificial intelligence, and software engineering, aiming to improve the reliability, robustness, fairness, and security of modern AI systems. She is particularly interested in scalable assurance techniques for deep learning, foundation models, and AI-enabled intelligent systems, with applications to safety-critical and high-assurance domains.