<< 2008-9 >>
Department of
Computer Science
 
Towards the Verification and Certification of Autonomous Assistive Robots

Towards the Verification and Certification of Autonomous Assistive Robots

In December 2009 I visited BRL and, to cut a long story short, this single visit gave rise to a new research initiative focused on understanding the verification and certification needs arising out of the latest developments in Autonomous Assistive Robots. My aim is to develop design and verification techniques as well as overall methodologies leading to certification to push the state of the art in this area. Our first projects address this issue in the context of Human-Robot Interaction. All projects are in collaboration with Tony Pipe and Chris Melhuish at BRL.

Research Projects

Initially it is my aim to conduct a series of case studies and pilot project with associated publications. This builds up a strong track record to underpin a research grant proposal to undertake more fundamental research with the aim to address longer term aims and objectives.

Below is a list of student projects (MSc or MEng level) that are currently running or have been completed including a link to further details on each project where these are available.

University Initiatives
© 1995-2009 University of Bristol  |  Terms and Conditions
About this Page