software development, testing and verification, and autonomous mobile robots
Claire chatted to Ana Cavalcanti from the University of York all about software development, testing and verification, and autonomous mobile robots.
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 practice of design and verification of robotic systems, covering simulation, testing, and proof. It is practical, supported by tools, and yet mathematically rigorous.