Research
Verifiable Autonomy
Autonomy is a core technology theme for the 21st century. Within 20 years, we elect to see fully autonomous vehicles, robots and software, all of which will (and must) be able to make their own decisions without direct human intervention. This potential is both exciting and beyond current possibilities; frightening in that the control of these systems is now taken away from us. How do we know that they will work? How do we know that they are safe? And how can we trust them? All of these are currently impossible to answer yet, without such guarantees, increased autonomy will not be accepted by engineers, allowed by regulators or trusted by the public.Verifiable Autonomy Project Page
Robotics and AI for Nuclear
The RAIN project uses robotic and AI technologies to solve challenges faced by the nuclear industry RAIN Hub
Future AI and Robotics for Space
The Future AI and Robotics for Space (FAIR-SPACE) Hub brings together leading experts from academia, industry and governments, and aims at pushing the boundary of AI robotics for future space utilization and exploration. In the immediate term, the Hub will help advance knowledge and technologies in orbital manipulation, extra-terrestrial vehicles, and robotic support for astronaut missions. These directly address technical priorities in the space sector worldwide. In the long term, the Hub will help transfer the field to a new era by achieving long-lived robotic operations in space.FAIR-Space Hub
Research grants
Future AI and Robotics for Hub Space (FAIR-SPACE)
ENGINEERING & PHYSICAL SCIENCES RESEARCH COUNCIL
November 2017 - March 2021
Robotics and Artificial Intelligence for Nuclear - RAIN
ENGINEERING & PHYSICAL SCIENCES RESEARCH COUNCIL
October 2017 - September 2021
Lego Rovers Evolution
SCIENCE AND TECHNOLOGY FACILITIES COUNCIL
September 2014 - September 2016
The Integration and Interaction of Multiple Mathematical Reasoning Processes
ENGINEERING & PHYSICAL SCIENCES RESEARCH COUNCIL
April 2007 - March 2011