Sun 15 - Sat 21 November 2020 Online Conference
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


FTfJP 2020 Steering Committee Chair in Steering Commitee within the FTfJP-track
Show activities from other conferences

SPLASH 2020-profile
View general profile