Rosemary Monahan's Homepage


 

 

Text Box:

Rosemary Monahan,

Lecturer,

Department of Computer Science,
National University of Ireland, Maynooth,
Co.Kildare,
Ireland
.

E-Mail: Rosemary dot Monahan at nuim dot ie
Phone: +353 1 7083463


I am a full time academic in the Department of Computer Science, NUI Maynooth since October 1999. I have been lecturing in Computer Science since 1997 in University College Dublin, Griffith College Dublin and NUI Maynooth.

Subjects which I have lectured include Software Verification, Rigorous Software development, Type Theory, Models of Computation, Object Oriented Programming (C++, Java, C#), Object Oriented Design, Algorithms and Data Structures, Information Systems Development, Database Management Systems, Computer Graphics, Formal Methods, Program Language Semantics and Discrete Structures.

I completed my BSc(Hons) Computer Science in 1995 and my MSc Computer Science in 1998. Both degrees were obtained from University College Dublin.


Research Interests

Rosemary’s research is concerned with the development of reliable software systems.

She is a researcher in the Principles of Programming (POP) group which specialises in the static and dynamic analysis of object-oriented programs and programming languages. Her research interests are in program verification and in particular, the verification of data refinement within an object-oriented setting.

Current research includes collaborations on Data Refinement with Prof. J Morris at Dublin City University , on the Spec# Programming System with the Research in Software Engineering (RiSE) group at Microsoft Research, Redmond, on Event B with MOSEL Research Group, LORIA and on verifying safety critical properties of PLC’s with TramPower UK.  

In March and April of 2007, Rosemary visited Microsoft Research, Redmond labs, where she worked with the Spec# team on the automatic verification of textbook programs using Spec#. A draft paper on this work and some sample programs in Spec# are available here.


Publications, Research Grants, Research Presentations, PhD, MSc, Industrial Collaboration, Staff visits and collaborations with other Institutions, Other Research Activities,

External Assignment, Membership of University Boards/Committees, Research Supervision, Research Visitors hosted at NUIM, Course/Project Coordination,Lecture Slides,