Rosemary Monahan -

Registered user since Wed 7 Jan 2015

Name:Rosemary Monahan

Country:Ireland

Affiliation:National University of Ireland

Personal website:https://www.maynoothuniversity.ie/people/rosemary-monahan

Research interests:Safety Critical Software, Dependable Software Systems, Specification Languages, Systems Modelling, Formal Methods and Software Verification, and Program Verification Tools, Refinement, Software Analysis, Computer Science Education

Contributions

FTfJP 2021	Steering Committee Chair in Steering Committee within the FTfJP-track Author of Using Dafny to Solve the VerifyThis 2021 Challenges within the FTfJP-track
FTfJP 2020	Steering Committee Chair in Steering Commitee within the FTfJP-track
FTfJP 2019	Chair in Steering Commitee within the FTfJP 2019-track
VerifyThis 2019	Committee Member in Organizing Committee within the VerifyThis-track
FTfJP 2018	Chair in Steering Committee within the FTfJP-track
FormaliSE 2018	Committee Member in Program Committee within the FormaliSE 2018-track
FTfJP 2015	Session Chair of Tool Demonstration 1 (part of FTfJP) Chair in Program committee within the FTfJP-track Session Chair of Session 2 (part of FTfJP) Session Chair of Session 1 (part of FTfJP) Session Chair of Closing (part of FTfJP) Session Chair of Session 3 (part of FTfJP) Session Chair of Tool Demonstration 2 (part of FTfJP) Session Chair of Welcome (part of FTfJP) Session Chair of Invited Talk (part of FTfJP)
FOOL	Committee Member in Program Committee within the FOOL-track