People
Faculty
YS
Youcheng Sun
Director · Assistant Professor of Computer Science
Works on automated reasoning, software engineering and secure agentic systems: what agents really do, how to build better coding agents, and how to verify the code they produce.
Homepage · MBZUAI · Google Scholar · Email
PhD students
HA
Hamad Alshehhi
PhD Student
Outstanding TA Award, 2026
BT
Boyin Tan
PhD Student
AA
Ali Aljaberi
PhD Student
M.Sc. at MBZUAI 2024–2026 · Future Tech Titan Award
DK
Daniel Koh Ji Yang
PhD Student
TZ
Tianyi Zhang
PhD Student
MSc students
HA
Hamad Alyahyaee
M.Sc. Student
MC
Marco Collepiccolo
M.Sc. Student
AK
Assylzhan Khamiyev
M.Sc. Student
VP
Viral Patel
M.Sc. Student
Joining
We are hiring PhD students, interns and postdocs. How to apply →