Research output per year
Research output per year
Personal profile
Overview
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
My research interest is in the security and safety assurance of complex computing systems: AI, OS and concurrent systems.
Biography
Dr. Youcheng Sun is an expert in software security and safety assurance. In particular, he pioneered several techniques on the testing of AI software. His research has been funded by Google, Dstl (Defence Science and Technology Laboratory, UK) and NCSC (National Cyber Security Centre, UK) etc. 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, cyber-physical systems, robotics and AI safety in top-tier academic conferences and journals, including ICSE, ASE, CAV, TACAS, IEEE S&P (Oakland), NeurIPS, ICCV, ECCV, IJCAI, ICRA, IROS, RTSS, ACM TOSEM, ACM TECS, IEEE TR.
Qualifications
Fellow of the Higher Education Academy (FHEA)
Opportunities
PhD Openings
I mainly supervise PhD projects of the following topics
- Trustworthy AI
- Automated verification and testing
- operating systems
- blockchains, smart contracts
Interested applicants are welcome to contact me for discussing PhD proposals and funding opportunities.
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
-
AIREPAIR: A Repair Platform for Neural Networks
Song, X., Sun, Y., Mustafa, M. A. & Cordeiro, L. C., 20 Jan 2023, (Accepted/In press) 45th IEEE/ACM International Conference on Software Engineering.Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review
Open AccessFile19 Downloads (Pure) -
DeepJudge: A Testing Framework for Copyright Protection of Deep Learning Models
Chen, J., Sun, Y., Wang, J., Cheng, P. & Ma, X., 20 Jan 2023, (Accepted/In press) 45th IEEE/ACM International Conference on Software Engineering.Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review
Open AccessFile229 Downloads (Pure) -
From FMTV to WATERS: Lessons Learned from the First Verification Challenge at ECRTS
Altmeyer, S., André, É., Dal Zilio, S., Fejoz, L., González Harbour, M., Graf, S., Gutiérrez, J. J., Henia, R., Le Botlan, D., Lipari, G., Medina, J., Navet, N., Quinton, S., M. Rivas, J. & Sun, Y., 3 Jul 2023, (Accepted/In press) 35th Euromicro Conference on Real-Time Systems (ECRTS 2023).Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review
Open AccessFile21 Downloads (Pure) -
QNNRepair: Quantized Neural Network Repair
Song, X., Sun, Y., Mustafa, M. A. & Cordeiro, L. C., 18 Aug 2023, (Accepted/In press) 21st International Conference on Software Engineering and Formal Methods.Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review
File1 Downloads (Pure) -
VeRe: Verification Guided Synthesis for Repairing Deep Neural Networks
Ma, J., Yang, P., Wang, J., Sun, Y., Huang, C-C. & Wang, Z., 2 Sept 2023, (Accepted/In press) 46th International Conference on Software Engineering (ICSE 2024).Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review
Open AccessFile52 Downloads (Pure)
Projects
-
RAI: Centre for Robotics and Artificial Intelligence
Cangelosi, A., Lennox, B., Weightman, A., Dennis, L., Dixon, C., Fisher, M., Herrmann, G., Dickson, A., Lanzon, A., Stancu, A., Saiani, A., Freitas, A., Nini, A., Voronkov, A., Brass, A., Vijayaraghavan, A., Parslew, B., crowther, W., Grieve, B., Adorno, B., Jay, C., Wang, C. C. L., Todd, C., Soutis, C., Arsene, C., Dresner, D., Barrett, E., Gowen, E., Arvin, F., Podd, F., Brown, G., Reger, G., Cooper, G., Mairs, H., Yin, H., Kinloch, I., Eleftheriou, I., Li, J., Carrasco Gomez, J., Ainsworth, J., Sinha, J., Ozanyan, K., Smith, K., Twomey, K., Margetts, L., Ren, L., Zhang, L., Cordeiro, L., Rattray, M., Bissett, M., Elliot, M., Alvarez, M., Luján, M., Nabawy BSc, MSc, PhD, MRAeS, SMAIAA, FHEA, M., Peek, N., Marjanovic, O., Dorn, O., Dudek, P., Green, P., Connolly, P., Da Silva Bartolo, P. J., Gardner, P., Martin, P., Potluri, V., Curtis, R., Schmidt, R., Banach, R., Batista-Navarro, R. T., Kaski, S., Midson, S., Watson, S., Holm, S., Furber, S., Schlegel, V., Mirihanage, W., Mansell, W., Pan, W., Sampson, W., Sellers, W., Yang, W., Cai, P., Sun, Y., Alharthi, A., Macario Rojas, A., Serhan, B., Yu, C., Abara, D., Lopez Pulgarin, E., Faruq, F., Tavella, F., Semeraro, F., Liu, G., Fang, G., Niu, H., Taylor, H., Zhu, H., Collenette, J., Amano, K., Lo, K. C. J., Raggioli, L., Romeo, M., Ruocco, M., Ghaffari Saadat, M., Walmsley, M., Mubarik, A., Vinanzi, S., Su, Y., Mcaleese, H., Stringer, P., Stoican, R., Ye, R., Kurawa, S. S., Zhang, T., Krywonos, W., Xu, Y., Tian, Y., Henderson, A., Morley, D., Tallentire, J., Clayton, J., Hawthornthwaite, S., Carlson, J. & Baniqued, P. D.
Project: Research