This week, Claire chatted to Ana Cavalcanti from the University of York all about software development, testing and verification, and autonomous mobile robots.

This is our last episode before we take a little break for the holiday season. Robot Talk will be back in the New Year on the 6th January.

Ana Cavalcanti is a Royal Academy of Engineering Chair in Emerging Technologies. She is the leader of the RoboStar Centre of Excellence on Software Engineering for Robotics. The RoboStar approach to model-based software engineering complements current practices of design and verification of robotic systems, covering simulation, testing, and proof. It is practical, supported by tools, and yet mathematically rigorous.