Research output per year
Research output per year
Personal profile
Overview
Hi, I'm Youceng! 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.
My research interest is in the automated verification and testing of complex computing systems: AI, OS and concurrent systems.
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 TECS, IEEE TR.
(PhD students) PhD projects are available in the Opportunities page. This is not a complete list. I welcome potential applicants to contact me first and we come up with a plan together. There are a variety of funding options for our students.
Job vacancies
(28 March 2022) There is an internship opening in repairing deep neural networks. The salary level is Grade 5. Please send me (youcheng.sun at manchester dot ac dot uk) your CV if you are interested.
Opportunities
Research Beacons, Institutes and Platforms
- Digital Futures
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
Network
Recent external collaboration on country/territory level. Dive into details by clicking on the dots or
-
QuoTe: Quality-oriented Testing for Deep Learning Systems
Chen, J., Wang, J., Ma, X., Sun, Y., Sun, J., Zhang, P. & Cheng, P., 16 Dec 2022, (Accepted/In press) In: ACM Transactions on Software Engineering and Methodology.Research output: Contribution to journal › Article › peer-review
Open AccessFile28 Downloads (Pure) -
Rule-based Runtime Mitigation against Poison Attacks on Neural Networks
Usman, M., Gopinath, D., Sun, Y. & Pasareanu, C., 29 Jun 2022, (Accepted/In press) International Conference on Runtime Verification.Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review
Open AccessFile43 Downloads (Pure) -
VPN: Verification of Poisoning in Neural Networks
Sun, Y., Usman, M., Gopinath, D. & Păsăreanu, C., 17 Jun 2022, (Accepted/In press) 5th Workshop on Formal Methods for ML-Enabled Autonomous Systems Affiliated with FLoC 2022.Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review
Open AccessFile22 Downloads (Pure) -
Copy, Right? A Testing Framework for Copyright Protection of Deep Learning Models
Chen, J., Wang, J., Peng, T., Sun, Y., Cheng, P., Ji, S., Ma, X., Li, B. & Song, D., 7 Dec 2021, (Accepted/In press) IEEE Symposium on Security and Privacy (S&P).Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review
Open Access -
Coverage Guided Testing for Recurrent Neural Networks
Huang, W., Sun, Y., Zhao, X., Sharp, J., Ruan, W., Meng, J. & Huang, X., 10 Jun 2021, In: IEEE Transactions on Reliability .Research output: Contribution to journal › Article › peer-review
Open AccessFile27 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.
Project: Research