Research
Research grants
Flexible Querying of Encrypted Graph Databases
INNOVATE UK (UK)
April 2020 - July 2020
KTP with ValueChain
INNOVATE UK (UK), VALUECHAIN ENTERPRISE SYSTEMS LTD (UK)
October 2018 - December 2022
Future AI and Robotics for Hub Space (FAIR-SPACE)
ENGINEERING & PHYSICAL SCIENCES RESEARCH COUNCIL
November 2017 - March 2021
Support for Verification and Program Transformation Workshop, VPT 2017
OFFICE OF NAVAL RESEARCH (USA)
August 2017 - October 2017
Machine Learning for recognising tangled 3D objects
LEVERHULME TRUST (UK)
April 2020 - April 2023
Engineering Autonomous Space Software
ENGINEERING & PHYSICAL SCIENCES RESEARCH COUNCIL
December 2008 - May 2012
Discrete analogues of dynamical systems and their applications for secure data transmission
NORTH ATLANTIC TREATY ORGANISATION (BELGIUM)
February 2008 - January 2010