Professor Ana Cavalcanti
Ana Cavalcanti is a professor at the University of York and a Royal Academy of Engineering Chair in Emerging Technologies. She leads RoboStar, a centre of excellence on software engineering for robotics.
The RoboStar approach to model-based software engineering complements the current practice of design and verification of mobile and autonomous robots, covering simulation, testing and proof. This approach is practical, supported by tools, and yet mathematically rigorous so that it can provide reliable evidence of trustworthiness.