Youcheng Sun


Accepting PhD Students

Personal profile


Hi, I'm Youcheng! I am a Lecturer from the Systems and Software Security group. I am also a member of Centre for Digital Trust and Society, Centre for Robotics and AI and Autonomy and Verification Network. Before joining The University of Manchester, I was a Lecturer at Queen's University Belfast and I was a postdoctoral researcher at University of Oxford. I obtained my PhD from Scuola Superiore Sant'Anna.


Research interests

Trustworthy AI, Automated Reasoning


Dr. Youcheng Sun is an expert in Security & AI. In particular, he pioneered several techniques on the assurance of AI safety. His research has been funded by companies such as Dstl, BAE Systems, Ethereum Foundation and Google. In the past, Youcheng led the source code testing and verification work for two UK domestic airborne software projects, SECT-AIR and AUTOSAC. He was a member of the EU H2020 project SAFURE investigating safety and security assurance in the design of mixed-critical cyber-physical systems. Youcheng has a strong track record of publications on software engineering, formal verification, embedded systems, robotics and AI safety in top-tier academic conferences and journals, including IEEE S&P (Oakland), ICSE, ASE, CAV, TACAS, NeurIPS, ICCV, ECCV, IJCAI, ICRA, IROS, RTSS, ACM TOSEM, ACM TECS, IEEE TR. He is an Associate Editor of ACM Transactions on Software Engineering and Methodology (TOSEM).


Fellow of the Higher Education Academy (FHEA)


Expertise related to UN Sustainable Development Goals

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):

  • SDG 7 - Affordable and Clean Energy
  • SDG 8 - Decent Work and Economic Growth
  • SDG 9 - Industry, Innovation, and Infrastructure
  • SDG 10 - Reduced Inequalities
  • SDG 12 - Responsible Consumption and Production

Research Beacons, Institutes and Platforms

  • Digital Futures


  • AI Safety
  • Security
  • Automated Reasoning


Dive into the research topics where Youcheng Sun is active. These topic labels come from the works of this person. Together they form a unique fingerprint.
  • 1 Similar Profiles

Collaborations and top research areas from the last five years

Recent external collaboration on country/territory level. Dive into details by clicking on the dots or