Ana Cavalcanti is a Professor at the University of York, UK,
and a Royal Academy of Engineering Chair in Emerging Technologies.
Her current work is on Software Engineering for Robotics, with a
leading role in the RoboStar group
From 2012 to 2017, she held a Royal Society - Wolfson Research
Merit Award. In 2003, she was awarded a Royal Society Industry
Fellowship to work with QinetiQ on formal methods. She has published
more than 150 papers, and chaired the Programme Committee of various
well-established international conferences.