Youcheng Sun

Youcheng Sun is a researcher at The University of Manchester, affiliated with the Systems and Software Security group, Centre for Digital Trust and Society, Centre for Robotics and AI, and Autonomy and Verification Network. Previously, he held a Lecturer position at Queen's University Belfast and conducted postdoctoral research at the University of Oxford. He earned his PhD from Scuola Superiore Sant'Anna.

His research focuses on AI Safety, Security, and Automated Reasoning, with contributions to trustworthy AI, formal verification, embedded systems, and robotics. His work has been funded by Google and the Ethereum Foundation.

He has led projects such as SECT-AIR and AUTOSAC, and contributed to the EU H2020 SAFURE project on safety/security assurance in mixed-critical systems. His publications span top-tier venues like IEEE S&P, ICSE, NeurIPS, and IROS.

• Awards: Fellow of the Higher Education Academy (FHEA)
• Advising: Supervising PhD students in AI/Security domains (e.g., funded projects on LLMs in social recommendations)
• Labs/Teams: Member of interdisciplinary networks advancing robotics, AI ethics, and digital trust.