Speakers

Speaker profile

Marie Farrell is a Royal Academy of Engineering Research Fellow at the University of Manchester. She works on “Strong Software Reliability for Autonomous Space Robotics”. This work aims to devise new ways of describing, analysing and assuring the autonomous behaviour of robotic space systems. Her research focuses on using and combining formal methods to reason about and provide certification evidence for robotic systems that are to be deployed in hazardous environments, including space. She collaborates with NASA Ames Research Center on the development of their Formal Requirements Elicitation Tool (FRET). She is secretary for the working group that developed the IEEE 7009 Standard on Fail-Safe Design of Autonomous and Semi-Autonomous Systems. She was PC Chair for the IEEE International Conference on Space Mission Challenges for Information Technology (2023 and 2024). She is a founder of the International Workshop on Formal Methods for Autonomous Systems. Prior to Manchester, Marie held post-doctoral positions at the University of Liverpool and Maynooth University in Ireland, where she also completed her PhD. She has international collaborations with various companies and universities including NASA, Collins Aerospace, University of Toulouse, Maynooth University and University of Modena and Reggio Emilia.