Marie Farrell

Marie Farrell is a Professor and Royal Academy of Engineering Fellow specializing in formal verification, autonomous systems, and robotics. Her work focuses on requirement elicitation and formal methods to ensure safety and reliability in critical systems. She has contributed to the IEEE Standard 7009-2024 and leads research in autonomous robotics, including projects like the Centre for Robotic Autonomy in Demanding and Long Lasting Environments (CRADLE).

Her research spans formal contracts for hybrid systems, explainability in safety-critical AI, and runtime monitoring of autonomous agents. Recent work includes FRET (Formalized Requirements Engineering Toolkit) applied to drones, nuclear systems, and space robotics.

Farrell has published 35+ research outputs, including articles on cybersecurity for cyber-physical systems and compositional verification of modular robots. She actively reviews for journals like Autonomous Robots and chairs conferences such as FMAS. Her 2024 award recognizes her role in advancing fail-safe design standards for autonomous systems.

She collaborates internationally, co-organizes workshops, and contributes to policy via the London Mathematical Society and EPSRC grant reviews. Her CRADLE initiative addresses robotic autonomy challenges in extreme environments, fostering interdisciplinary collaboration.