Research output per year
Research output per year
Personal profile
Overview
Hi, I'm Youcheng! I am a researcher 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
Biography
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 Google and Ethereum Foundation. 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).
Qualifications
Fellow of the Higher Education Academy (FHEA)
Opportunities
PhD Openings
Funded PhD projects
- Verification and Validation for Mitigating Control Incentive of Large Language Models in Social Recommendations (Application Deadline: 20 March 2024)
- SALE-Auto: Safety Assurance for Learning-Enabled Autonomous Systems
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):
Research Beacons, Institutes and Platforms
- Digital Futures
Keywords
- AI Safety
- Security
- Automated Reasoning
Fingerprint
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
-
A New Era in Software Security: Towards Self-Healing Software via Large Language Models and Formal Verification
Charalambous, Y., Tihanyi, N., Jain, R., Sun, Y., Ferrag, M. A. & Cordeiro, L. C., 13 Jan 2025, (Accepted/In press) 6th ACM/IEEE International Conference on Automation of Software Test (AST 2025).Research output: Chapter in Book/Conference proceeding › Conference contribution › peer-review
-
KG4RecEval: Does Knowledge Graph Really Matter for Recommender Systems?
Zhang, H., Wang, D., Sun, Z., Li, Y., Sun, Y., Liang, H. & Wang, W., 21 Jan 2025, (E-pub ahead of print) In: ACM Transactions on Information Systems.Research output: Contribution to journal › Article › peer-review
Open AccessFile9 Downloads (Pure) -
Privacy-Preserving Load-Shaping Strategies for Smart Meters using Deep Reinforcement Learning
Zhang, R., Wu, K., Sun, Y. & Mustafa, M., 11 Feb 2025, IEEE PES Innovative Smart Grid Technologies Europe (ISGT-Europe).Research output: Chapter in Book/Conference proceeding › Conference contribution › peer-review
Open AccessFile3 Downloads (Pure) -
ESBMC-Python: A Bounded Model Checker for Python Programs
Farias, B., Menezes, R., Filho, E. B. D. L., Sun, Y. & Cordeiro, L., 26 Jul 2024, (Accepted/In press) The ACM SIGSOFT International Symposium on Software Testing and Analysis (ISSTA).Research output: Chapter in Book/Conference proceeding › Conference contribution › peer-review
File46 Downloads (Pure) -
FAST: Boosting Uncertainty-based Test Prioritization Methods for Neural Networks via Feature Selection
Chen, J., Wang, J., Zhang, X., Sun, Y., Kwiatkowska, M., Chen, J. & Cheng, P., 27 Oct 2024, 39th IEEE/ACM International Conference on Automated Software Engineering .Research output: Chapter in Book/Conference proceeding › Conference contribution › peer-review
Open AccessFile15 Downloads (Pure)
Projects
-
RAI: Centre for Robotics and Artificial Intelligence
Cangelosi, A. (PI), Lennox, B. (PI), Weightman, A. (CoI), Dennis, L. (CoI), Dixon, C. (CoI), Fisher, M. (CoI), Herrmann, G. (CoI), Dickson, A. (CoI), Lanzon, A. (CoI), Stancu, A. (CoI), Miller, A. (CoI), Freitas, A. (CoI), Nini, A. (CoI), Voronkov, A. (CoI), Brass, A. (CoI), Vijayaraghavan, A. (CoI), Parslew, B. (CoI), crowther, W. (CoI), Grieve, B. (CoI), Adorno, B. (CoI), Jay, C. (CoI), Wang, C. C. L. (CoI), Todd, C. (CoI), Soutis, C. (CoI), Arsene, C. (CoI), Dresner, D. (CoI), Barrett, E. (CoI), Gowen, E. (CoI), Arvin, F. (CoI), Podd, F. (CoI), Brown, G. (CoI), Reger, G. (CoI), Cooper, G. (CoI), Mairs, H. (CoI), Yin, H. (CoI), Kinloch, I. (CoI), Eleftheriou, I. (CoI), Li, J. (CoI), Carrasco Gomez, J. (CoI), Ainsworth, J. (CoI), Sinha, J. (CoI), Ozanyan, K. (CoI), Smith, K. (CoI), Twomey, K. (CoI), Margetts, L. (CoI), Ren, L. (CoI), Zhang, L. (CoI), Cordeiro, L. (CoI), Rattray, M. (PI), Bissett, M. (CoI), Elliot, M. (CoI), Alvarez, M. (CoI), Luján, M. (CoI), Nabawy BSc, MSc, PhD, MRAeS, SMAIAA, FHEA, M. (CoI), Peek, N. (CoI), Marjanovic, O. (CoI), Dorn, O. (CoI), Dudek, P. (CoI), Green, P. (CoI), Connolly, P. (CoI), Da Silva Bartolo, P. J. (CoI), Gardner, P. (CoI), Martin, P. (CoI), Potluri, P. (CoI), Curtis, R. (CoI), Schmidt, R. (CoI), Banach, R. (CoI), Batista-Navarro, R. T. (CoI), Kaski, S. (CoI), Midson, S. (CoI), Watson, S. (CoI), Holm, S. (CoI), Furber, S. (CoI), Schlegel, V. (CoI), Mirihanage, W. (CoI), Mansell, W. (CoI), Pan, W. (CoI), Sampson, W. (CoI), Sellers, W. (CoI), Yang, W. (CoI), Cai, P. (CoI), Sun, Y. (CoI), Alharthi, A. (Researcher), Macario Rojas, A. (Researcher), Serhan, B. (Researcher), Yu, C. (Researcher), Abara, D. (Researcher), Lopez Pulgarin, E. (Researcher), Faruq, F. (Researcher), Tavella, F. (Researcher), Semeraro, F. (Researcher), Liu, G. (Researcher), Fang, G. (Researcher), Niu, H. (Researcher), Taylor, H. (PI), Zhu, H. (PGR student), Collenette, J. (Researcher), Amano, K. (Researcher), Lo, K. C. J. (PGR student), Raggioli, L. (Researcher), Romeo, M. (Researcher), Ruocco, M. (PGR student), Ghaffari Saadat, M. (Researcher), Walmsley, M. (Researcher), Mubarik, A. (Researcher), Vinanzi, S. (Researcher), Su, Y.-H. (PGR student), McAleese, H. (PGR student), Stringer, P. (PGR student), Stoican, R. (PGR student), Ye, R. (PGR student), Kurawa, S. S. (PGR student), Zhang, T. (PGR student), Krywonos, W. (PGR student), Xu, Y. (PGR student), Tian, Y. (PGR student), Henderson, A. (Technical team), Morley, D. (Support team), Tallentire, J. (Support team), Smith, J. (Support team), Hawthornthwaite, S. (Support team), Carlson, J. (Support team) & Baniqued, P. D. (Researcher)
Project: Research