Marie Farrell -

Registered user since Wed 1 Mar 2023

Name:Marie Farrell

Country:United Kingdom

Affiliation:The University of Manchester

Personal website: https://mariefarrell.github.io/

Contributions

2026

FM

Committee Member in Program Committee within the Research Track-track

2025

FTfJP

PC Member in Program Committee within the FTfJP-track

FormaliSE

Committee Member in Program Committee within the Research Track-track

Requirements Engineering: Foundation for Software Quality (REFSQ)

Author of Sharper Specs for Smarter Drones: Formalising Requirements with FRET within the Research Track-track
Author of Eliciting Explainability Requirements for Safety-Critical Systems: A Nuclear Case Study within the Research Track-track

Dafny

PC Member in Program Committee within the Dafny 2025-track

2024

VORTEX

Committee Member in Program Committee within the VORTEX 2024-track

NFM

2023

FTSCS

Committee Member in Program Committee within the FTSCS 2023-track

VORTEX

PC Member in Program Committee within the VORTEX 2023-track

FTfJP

PC Member in Program Committee within the FTfJP 2023-track

2021

FTfJP

Presenter of Using Dafny to Solve the VerifyThis 2021 Challenges within the FTfJP-track

2020

FTfJP

Programme Committee in Program Committee within the FTfJP-track

2019

FTfJP

Committee Member in Program Committee within the FTfJP 2019-track