Ana Cavalcanti

Ana Cavalcanti is a Professor of Computer Science at the University of York, UK. Her research focuses on formal methods for safety critical systems, particularly in robotics and real-time software. She leads the SER research group and has secured major funding from EPSRC and the European Commission.

• Education
  • 1987 - BSc in Computer Science, Universidade Federal de Pernambuco, Brazil
  • 1990 - MSc in Computer Science, Universidade Federal de Pernambuco, Brazil
  • 1997 - DPhil in Computer Science, Oxford University

Her work bridges formal verification, concurrency, and object-orientation, with recent projects like RoboSapiens and DOMINOS addressing trustworthy autonomous systems. She has published extensively on robotic controller verification, adaptive architectures, and ethical requirements for AI.

Selected scientific accolades include the Royal Society Wolfson Research Merit Award and a Royal Society Industry Fellowship. She has held academic positions at Universidade Federal de Pernambuco (1997-2002) and the University of Kent (2002-2004) before joining York in 2004.