Marie Farrell -

Not registered as user yet

Name:Marie Farrell

Affiliation:University of Liverpool

Personal website:https://cgi.csc.liv.ac.uk/~marie/

Contributions

FTfJP 2021	Presenter of Using Dafny to Solve the VerifyThis 2021 Challenges within the FTfJP-track
FTfJP 2020	Programme Committee in Program Committee within the FTfJP-track
FTfJP 2019	Committee Member in Program Committee within the FTfJP 2019-track