Find Academic Supervisors

Rosemary Monahan is a Professor in the Department of Computer Science at Maynooth University and an affiliate of the Hamilton Institute. She holds BSc and MSc degrees from University College Dublin and a PhD from Dublin City University. As Maynooth University's institutional lead for ADAPT (SFI Research Centre for AI-Driven Digital Content Technology), she focuses on advancing software dependability through formal methods and AI integration. Her research interests include safety-critical systems, dependable software, formal verification, and computational thinking education. She co-founded the VerifyThis competition series and leads projects such as MAIVV (Modular AI Verification and Visualisation) funded by SFI, and VALU3S (Verification and Validation of Automated Systems) funded by Horizon 2020. She has secured over €2.5M in EU funding for the Erasmus Mundus programs in dependable software systems. Monahan’s educational contributions include pioneering computational thinking resources (CoCoA and InSPECT projects) and teaching modules on software verification and rigorous software processes. She supervises PhD students in data science and advanced networks and collaborates with institutions like INRIA, Microsoft Research, and Amazon Web Services. Her professional roles include editorships in journals like Science of Computer Programming and leadership in conferences like iFM and FMICS. She actively promotes gender equality in computing through initiatives like INGENIC and TechMate toolkits.

• Software Verification
• Dependable Software Systems
• Formal Methods
• +3 more

Henry McLoughlin is an Associate Professor in the School of Computer Science at University College Dublin (UCD) and serves as Vice-Principal of Teaching and Learning for the UCD China Joint Colleges. His roles involve dividing his time between UCD in Dublin and the Beijing Dublin International College (BDIC) in China. He holds a BSc from UCD and has been actively involved in spin-off companies derived from UCD research. In 2021, he received the prestigious Great Wall Friendship Award from the Beijing municipal government for his contributions. His research interests focus on Software Engineering, Formal Software Construction Methods, and the Mathematics of Programming. He has published extensively on topics ranging from web-based education systems to formal programming methodologies and artificial intelligence in board games. In teaching, McLoughlin coordinates modules such as Design Patterns, Security & Privacy, Software Methodology, and Advanced Program Construction. These courses emphasize formal methods, software design principles, and practical applications of theoretical concepts. McLoughlin’s work bridges academic research and practical education, with a particular emphasis on integrating innovative technologies into learning environments. His contributions to the UCD China Joint Colleges highlight his commitment to international education collaboration.

• Software Engineering
• Formal Software Construction Methods
• Mathematics of Programming
• +3 more

Dr. David Sinclair is an Associate Professor and Year Head in the School of Computing at Dublin City University, affiliated with the Dependable Systems, Software Engineering, and Security research groups. His research spans formal methods, distributed systems, real-time systems, and AI applications in strategic games. Teaching responsibilities include foundational and advanced courses: CSC1018 Logic CSC1048 Computability & Complexity CSC1098 Compiler Construction CSC1141 Concurrent Programming CSC1049 Third Year Project supervision His publications demonstrate strong focus on real-time systems, motion prediction, and immersive technologies, with recent work exploring AI-driven virtual environments and light field processing. Research consistently addresses computational efficiency and formal verification challenges.

• Formal Methods
• Distributed Systems
• Real-time Systems
• +2 more