National University of Ireland, Maynooth,
Rosemary Monahan, a Computer Science Lecturer at NUIM since 1999, holds BSc and MSc degrees from UCD and a PhD from DCU. Rosemary’s research is concerned with the development of reliable software systems. Together with Dr James Power, she has established the Principles of Programming (POP) Research group at NUIM who specialise in the static and dynamic analysis of object-oriented programs and programming languages. Rosemarys main research interest lies here, and more specifically in program verification.
As a member of this group, she supervises PhD and MSc students and teaches courses relating to Software Verification. The group currently has 4 active PhD students whose research covers topics in software specification, program verification, metamodelling and software language engineering. This research is funded via SFI, EI, Ulysses and NUIM funding. Dr Monahan is the Programme Director for the Erasmus Mundus MSc in Dependable Software Systems (DESEM) (funded from 2012-18), the MSc in Computer Science and the Postgraduate Diploma in Computer Science. She is an NUIM elected representative of the senate of the National University of Ireland (2007-2017).
Current research includes collaborations on the Spec# Programming System with the Research in Software Engineering (RiSE) group at Microsoft Research, Redmond, and on Event B with MOSEL Research Group, LORIA. Her research on the automatic verification of software correctness currently focuses on “Arís: Analogical Reasoning for reuse of Implementation & Specification”. This collaboration with Dr Diarmuid O’Donoghue, applies models of analogical reasoning to the domain of reliable software development and re-use.Previous collaborations include work on verifying safety critical properties of PLC’s with TramPower UK and on the verification of SparkAda programs via intermediate representations. Through participating and judging program verification competitions, Rosemary also has an intimate knowledge of current state-of-the-art verification tools and is extremely aware of the existing tools strengths and weaknesses.