Youcheng Sun.

Automated Reasoning / Software Engineering / Secure Agentic Systems

youcheng.sun@mbzuai.ac.ae MBZUAI ↗ Google Scholar ↗

3,940

Citations

h-index

i10-index

Research

Assistant Professor of Computer Science at MBZUAI, Abu Dhabi. My research is on Automated Reasoning, Software Engineering, and Secure Agentic Systems. I develop formal and machine-learning techniques for the testing, verification, repair, and assurance of AI systems.

News

Jul 2026🏆 ACL 2026 Outstanding Paper Award for “Lying with Truths: Open-Channel Multi-Agent Collusion for Belief Manipulation via Generative Montage.”
Jun 2026Congratulations to Ali Aljaberi! His paper “AIALIB: A Threat Library for AI-Generated Code” is accepted to the ASE 2026 Tools & Datasets Track.
Jun 2026Our UGRIP 2026 internship team (Dragos-Gabriel Monea, Yilin Liu, Rishika Mehta) won the Best Project Award for Efficient, Adaptive & Extensible Smartphone-Native Agent Runtimes.
May 2026M.Sc. student Ali Aljaberi graduated and received the Future Tech Titan Award.
Jan 2026Ph.D. student Hamad Alshehhi received the Outstanding TA Award.

PhD Openings

I am recruiting PhD students and interns at MBZUAI to build trustworthy AI, bringing together autonomous agents, software engineering, formal methods, and security. If you enjoy both rigorous reasoning and hands-on systems building, I'd love to hear from you. Email your CV and a short note on what you'd like to work on to youcheng.sun@mbzuai.ac.ae.