Rosemary is the Maynooth University institutional lead for ADAPT, the SFI Research Centre for AI-Driven Digital Content Technology.

As a founding member of the Principles of Programming Research Group she specialises in the static and dynamic analysis of software. She has expertise in the modelling, analysis and verification of software, working with international academics and industry to develop and employ techniques increasing the dependability of software systems (such as those in the medical, automotive, and aerospace domains).

Rosemary is co-founder of the international VerifyThis competition series, bringing together academic and industrial users of tools which guarantee the correctness and reliability of software systems. She is a Principal Investigator (PI) under the  Frontiers for the Future programme, working on verification and visualisation of AI based-systems (MAIVV, 2021-2025), and a Funded Investigator (FI) working on VERIFAI: Traceability and Verification of Natural LAnguage Requirements in ADAPT, the SFI Research Centre for AI-Driven Digital Content Technology.

Recent projects include research funded by Enterprise Ireland and H2020 ESCEL JU programme to improve workflows and tools for verification and validation of software systems (VALU3S, 2020-2023). She is passionate about providing solid mathematical foundations for software systems and in next-generation verification technologies applied to AI-based software. “Arís: Analogical Reasoning for reuse of Implementation & Specification” is a recent project concerning applying models of analogical reasoning to the domain of reliable software development and re-use.