Rosemary Monahan

National University of Ireland, Maynooth

Papers

Total Citations

H-Index

About

Rosemary Monahan is a leading researcher in software verification, with a particular focus on making formal methods accessible for modern programming languages and real-world applications. Her work centers on developing practical verification tools for Python, one of the world's most widely used languages across domains from web development to autonomous systems. Monahan's major contributions include the creation of PyModCheck, a model checker for Python that aims to bring rigorous software verification to the language's vast ecosystem. She has also explored the intersection of formal methods and robotics, notably by modelling the Turtle Python library in CSP (Communicating Sequential Processes) to verify the correctness of robot control plans. While her most-cited papers are recent, with 2 citations each, their forward-looking nature signals growing impact in the critical area of Python software reliability. Monahan's work addresses a pressing need: as Python powers everything from web servers to autonomous robots, her tools help ensure these systems behave correctly, bridging the gap between formal verification research and practical software engineering.