Professor of Software Verification and Royal Academy of Engineering Chair in Emerging Technologies. Her current research is on theory and practice of design, simulation, verification, and testing for mobile and autonomous robotic systems.
Prof Ana Cavalcanti