Name:Rosemary Monahan

Country:Ireland

Affiliation:Department of Computer Science & Hamilton Institute, Maynooth University

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