Dr Marie Farrell - University of Manchester

Strong software reliability for autonomous space robotics    

As the space missions become more ambitious, the need for systems with autonomous functionalities increases. Importantly, these systems must be reliable and trustworthy. Dr Farrell is developing new ways of describing, analysing and assuring the autonomous behaviour of robotic systems to increase confidence that these systems will function correctly.