Professor Ana Cavalcanti, University of York

Ana Cavalcanti is a Professor at the University of York, and 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 mobile and autonomous robots, covering simulation, testing, and proof. The RoboStar approach is practical, supported by tools, and yet mathematically rigorous so that it can provide reliable evidence of trustworthiness.