Funding and Grants
- SLLM: Safeguarding Large Language Models.
- Alan Turing Institute funded
- 2023-2024
- PI: Dr. Yi Dong, Co-I: Prof. Xiaowei Huang, Dr. Ronghui Mu
- CSEA: Creating Safe and Explanable AI
- University of Liverpool funded
- 2024
- PI: Dr. Yi Dong, Co-I: Prof. Xiaowei Huang, Prof. Saddek Bensalem, Dr. Changshun Wu
- CRoCS: Certified Robust and Scalable Autonomous Operation in Cyber Space.
- Alan Turing Institute (The AI for Cyber Defence (AICD) Research Centre) funded
- 2023-2024
- PI: Prof Xiaowei Huang, Co-I: Alan Marshall, Valerio Selis, Ronghui Mu
- SPACE: fully decentralised distributed learning for tradeoff of privacy, accuracy, communication complexity, and efficiency.
- UK Privacy Enhancing Technologies Challenge Prize
- 2022-2023
- PI: Prof Xiaowei Huang, Co-I: Dr Xingyu Zhao, Dr Yi Dong
- SOLITUDE: Safety Argument for Learning-enabled Autonomous Underwater Vehicles.
- Defence Science Technology Laboratory (DSTL) funded
- 2020-2022
- FOCETA - Foundations for Continuous Engineering of Trustworthy Autonomy.
- EU H2020 funded
- 2020-2023
- EnnCore: End-to-End Conceptual Guarding of Neural Architectures.
- Engineering and Physical Sciences Research Council (EPSRC)funded
- 2020 - 2024
- Test Coverage Metrics for Artificial Intelligence -- v2.0.
- Defence Science Technology Laboratory (DSTL) funded
- 2019 - 2020, extended to 2021
- Test Coverage Metrics for Artificial Intelligence.
- Defence Science Technology Laboratory (DSTL) funded
- 2018 - 2019
- EPSRC ORCA (Offshore Robotics for Certification of Asset) Hub.
- Engineering and Physical Sciences Research Council (EPSRC)funded
- 2017-2021