Biography: Rosemary Monahan is a lecturer and researcher in the Dept of Computer Science, and a member of the Hamilton Institute, at Maynooth University. She specialises in the modelling, analysis and verification of software, exploiting a variety of techniques to model software systems to increase software reliability. Her work has applications in program comprehension, software verification and validated round-trip software engineering between design and code. She is currently focused on verification and validation of automated systems’ safety and security.
Research Areas: Safety Critical Software, Specification Languages, Systems Modelling, Formal Methods, Software Verification Tools & Techniques, Computer Science Education.