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

2025

FormaliSE

Committee Member in Program Committee 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