Dr Rosemary Monahan

Computer Science, Hamilton Institute

Gaeilge agus fáilte

Senior Lecturer

Eolas Building
1st Floor
127
(01) 708 3847
http://rosemarymonahan.com/

About

Rosemary's research is concerned with the development of reliable software systems. She works with the Principles of Programming research 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.Research collaborations include Data Refinement with Prof. J Morris at Dublin City University, the Spec# Programming System and the Boogie Verifier with the Research in Software Engineering (RiSE) group at Microsoft Research, Redmond, Event B with MOSEL Research Group, LORIA and verifying safety critical properties of PLC's with TramPower UK.