Dara MacConville

National University of Ireland, Maynooth

Papers

Total Citations

H-Index

About

Dara MacConville is a researcher focused on the formal verification of software, with a particular emphasis on making these powerful techniques accessible for the Python programming language. Their work addresses the critical challenge of ensuring reliability in systems ranging from web servers to autonomous robots. MacConville's major contribution is the development of **pymodcheck**, a novel model checker for Python, which aims to bridge the gap between rigorous formal methods and the practical needs of Python developers. This tool, detailed in their 2024 paper, represents a significant step toward integrating verification directly into popular development workflows. Complementing this, their 2022 work on modelling the Turtle Python library in Communicating Sequential Processes (CSP) demonstrates a targeted application of formal verification to robotics, a domain where correctness is paramount. While their publications are recent, with each garnering 2 citations, MacConville is establishing a foundational approach to a pressing problem: how to build trust in the increasingly complex software systems that power our world, from everyday apps to critical robotic control.