Scholar
Marie Farrell
Google Scholar ID: x5mgmY8AAAAJ
The University of Manchester
Citations & Impact
Citations
976
H-index
15
i10-index
21
Publications
20
Co-authors
0
Contact
Publications
Resume (English only)
Academic Achievements
- - Publications: 'Sharper Specs for Smarter Drones: Formalising Requirements with FRET', REFSQ 2025
- - Publications: 'Eliciting Explainability Requirements for Safety-Critical Systems: A Nuclear Case Study', REFSQ 2025
- - Publications: 'Quantitative Operational Monitoring for BDI Agents', AAMAS 2025
- - Publications: 'Adventures in FRET and Specification', ISOLA 2024
- - Publications: 'FRETting and Formal Modelling: A Mechanical Lung Ventilator', ABZ 2024
- - Publications: 'Robotics: A New Mission for FRET Requirements', NFM 2024
- - Publications: 'Developing Multi-Agent Systems with Degrees of Neuro-Symbolic Integration [A Position Paper]', Neuro-symbolic AI for Agent and Multi-Agent systems [NeSyMAS] Workshop at AAMA
Research Experience
- - Royal Academy of Engineering Research Fellow (Lecturer), Department of Computer Science, The University of Manchester, project title: 'Strong Software Reliability for Autonomous Space Robotics'
- - Senior Post-Doctoral Researcher, Department of Computer Science, Maynooth University, VALU3S project, involved in eliciting and verifying requirements for an aircraft engine controller
- - EPSRC funded FAIR-SPACE Hub, participated in RAIN and ORCA Hubs, focused on using and combining formal methods to reason about and provide certification evidence for robotic systems deployed in hazardous environments
Education
- - PhD: Maynooth University, 2017, research on defining a semantics, modularisation constructs, and interoperability for the Event-B formal specification language using the theory of institutions
Background
- - Research Interests: Formal methods and their application to autonomous, automated, and/or robotic/aerospace systems, integrated formal methods, category theory and its use in Computer Science, formal semantics of programming and specification languages
- - Professional Field: Computer Science
- - Brief Introduction: Royal Academy of Engineering Research Fellow (Lecturer) focused on developing new ways to describe, analyze, and assure the autonomous behavior of robotic space systems.
Miscellany
- - Personal Interests: Served as chair or co-chair for several international conferences such as iFM 2025, iFM 2024, etc.
- - Professional Activities: Participated in the IEEE P7009 Standard Working Group, co-organizer of multiple workshops and symposiums
- - PhD Supervision: Benjamin Andrew, Juel Hussain, Diana Carolina Benjumea Hernández
- - Post-Doctoral Research Associates: Conor Reynolds
Co-authors