Write a Blog >>
ECOOP 2021
Sun 11 - Sat 17 July 2021 Online
co-located with ECOOP and ISSTA 2021
Rosemary Monahan

Registered user since Wed 7 Jan 2015

Name:Rosemary Monahan
Affiliation:National University of Ireland
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


FTfJP 2021 Steering Committee Chair in Steering Committee within the FTfJP-track
Using Dafny to Solve the VerifyThis 2021 Challenges
Show activities from other conferences

ECOOP and ISSTA 2021-profile
View general profile