Youcheng Sun

Youcheng Sun is a Lecturer in the Department of Computer Science at The University of Manchester. His research focuses on Systems and Software Security, with an emphasis on Trustworthy AI and Automated Reasoning. He is affiliated with the Centre for Digital Trust and Society, Centre for Robotics and AI, and Autonomy and Verification Network. Sun has contributed to projects such as SECT-AIR and AUTOSAC, and has collaborated on the EU H2020 project SAFURE. His work has been supported by companies like Google and the Ethereum Foundation. He has published in top-tier conferences and journals, including IEEE S&P, ICSE, CAV, and ACM TOSEM. Sun is an Associate Editor of ACM Transactions on Software Engineering and Methodology (TOSEM).

Youcheng Sun is a researcher specializing in Trustworthy AI and Automated Reasoning. His work focuses on ensuring the safety, reliability, and interpretability of deep neural networks through verification, testing, and adversarial defense mechanisms. He has developed frameworks for robustness-oriented testing, such as Robot and DeepConcolic, and explored methods for verifiable federated unlearning and copyright protection of deep learning models. His research also extends to real-time systems, including scheduling analysis and fault localization in neural networks. Sun's contributions emphasize the integration of formal methods with machine learning to enhance trustworthiness and security in AI systems.