Constraint Logic Programming Professors and Supervisors in Ireland

Kenneth BrownView profile

Professor

University College CorkIreland

Professor Kenneth Brown is affiliated with the Department of Computer Science at University College Cork (UCC) , Ireland. He holds the academic rank of Professor and is a Principal Investigator at the Insight Centre for Data Analytics and the CTVR (Telecommunications Research Centre) . BSc (Hons) Mathematics, University of Glasgow, 1986 MSc Mathematical Logic and the Foundations of Computation, University of Manchester, 1987 PhD Artificial Intelligence in Engineering, University of Bristol, 1991 His research focuses on Artificial Intelligence, constraint programming, optimisation, and distributed reasoning , with applications in wireless networking, sensor networks, and dynamic resource management . He also works on smart energy systems, data analytics, and human-centric applications. His recent work includes projects under the SFI-funded Insight Centre and Horizon Europe initiatives like GLACIATION and SEISMEC. His publications span topics from wireless sensor network optimization and cognitive radio to constraint-based decision support and AI in emergency management. He has led and contributed to over 15 recent publications in top-tier journals and conferences, showing a strong trend in AI-driven solutions for networked and intelligent systems. IEEE SECON 2015 Best Demonstration 2014 TAOS Best Paper Award in Access Networks and Systems Best paper, SMARTGREENS 2013 Enterprise Ireland Lifescience and Food Commercialisation Award Best Application Paper, AI2008 Best Application Paper, AI2006 Best paper nomination, ECAI 2004 Best Paper, Intl Conf AI in Design Professor Brown has supervised numerous PhD and MSc students in areas including constraint programming, sensor networks, evacuation modeling, and smart buildings. He has secured significant research funding from SFI, Enterprise Ireland, and IRCSET. He is actively involved in research leadership, serving as Deputy Director of Insight@UCC and PI in multiple national and international projects. He is a member of research groups involved in GLACIATION (green, responsible data operations), SEISMEC (human-centric industry), and SMARTeBuses . His lab supports a team of doctoral students and research staff working on AI, networking, and data analytics for real-world applications.

Official University Profile

Andrew ButterfieldView profile

Researcher

Trinity College DublinIreland

Dr. Andrew Butterfield is a faculty member at the School of Computer Science and Statistics, Trinity College Dublin. He serves as Head of the Foundations and Methods Group and actively contributes to Lero: the Irish Software Research Centre. His research focuses on Formal Methods and Functional Programming, particularly the Unifying Theories of Programming (UTP) paradigm, with applications in clinical pathways, medical device software, and spacecraft operating systems. Current research includes developing UTP theories for shared-variable concurrency, rely/guarantee reasoning, and separation logic in collaboration with Jim Woodcock. He also explores Process Modelling Language (PML) semantics with John Noll and Anila Mjeda. His contributions feature proof-assistance tools like UTP2 Theorem Prover, UTP Calculator, and ReasonEq implemented in Haskell. Andrew leads funded projects such as ESA's RTEMS-SMP (2019) and SFI's FMHIDA (2016-2020). Past projects encompass formal verification of separation kernels, Handel-C language semantics, and NAND flash memory models. He has taught courses in Formal Methods, Functional Programming, and Concurrency, while serving on editorial and program committees including Formal Aspects of Computing.

Official University Profile

Diarmuid O'DonoghueView profile

Assistant Professor

Maynooth UniversityIreland

Diarmuid O'Donoghue is an Assistant Professor in the Faculty of Science & Engineering at Maynooth University, specializing in Computational Creativity and Analogical Reasoning . His research explores topological similarities between text and source code to develop cognitively inspired systems for problem-solving and bias detection. Co-PI of the Modelling implicit bias project (€21/FFP-P/10118) Senior Scientific Coordinator for the €2.6M EU-funded Dr Inventor project Key research areas include: Latent homomorphism detection in lexical data Comparative analysis of LLMs and analogical systems Formal specification generation from code/text His work has shaped undergraduate project frameworks with ethical GenAI integration . Publications span ICCC , GECCO , and journals like Artificial Intelligence Review .

Official University Profile

Barry O'SullivanView profile

Professor

University College CorkIreland

Professor Barry O'Sullivan is a leading academic and industry expert in artificial intelligence at University College Cork , where he serves as a full professor in the School of Computer Science & IT . He directs the Insight Centre for Data Analytics and the SFI Centre for Research Training in AI, and holds influential advisory roles at Europol's GRACE project, Leuven.ai institute, and the Computational Sustainability Network. His €300m+ R&D funding achievements and 15+ recent publications highlight his technical and societal impact. Co-founder and Chief AI Officer, Stimul.ai Member of University College Cork Governing Body Vice Chair, European Commission High-Level Expert Group on AI Former President, European AI Association His research spans AI ethics , machine learning , and computational sustainability , with recent work focusing on explainable AI for medical diagnostics, energy-efficient scheduling in manufacturing, and human-AI collaboration mechanisms. His publications reveal expertise in constraint programming, anomaly detection, and multilingual reasoning systems. Notable awards include fellowships from AAAI, EurAI, and the Royal Irish Academy, alongside leadership roles in AI policy committees for the European Commission and Irish health research ethics. He leads a team of PhD researchers at UCC, including Marco Dalla and Sharmi Dev Gupta, while directing major European AI initiatives like the ALTAI assessment framework.

Official University Profile

Liliana PasqualeView profile

Associate Professor

University College DublinIreland

Liliana Pasquale is an Associate Professor at the School of Computer Science, University College Dublin (UCD), and a funded investigator at Lero – the SFI Research Centre for Software. She holds a PhD in Information and Communication Technology from Politecnico di Milano (2011) and has conducted research at IBM TJ Watson Research Center (2008). Her research focuses on requirements engineering, adaptive security, forensic readiness, and GDPR compliance in cyber-physical systems, with applications in transportation networks, industrial control systems, and smart spaces. **Education**: PhD in Information and Communication Technology (Politecnico di Milano, 2011); Professional Certificates in University Teaching & Learning (UCD). **Research Interests**: She investigates adaptive security mechanisms, forensic readiness for software systems, and runtime models for complex systems. Key areas include vulnerability assessment of transportation networks, stealthy attack detection in industrial systems, and human-centric cybersecurity for smart homes. **Grants & Awards**: Recipient of the Lero Research Award (2024), Runner-Up for IEEE Best Paper Award (2023), and numerous best reviewer recognitions. Active in grant initiatives such as the €1.2M 'Towards Forensic-Ready Software Systems' (2018–2019). **Teaching**: Coordinates UCD's MSc in Cybersecurity, including modules like 'Secure Software Engineering' and 'Leadership in Security'. Develops blended learning strategies for professional learners. **Professional Activities**: Serves on program committees for ICSE, SEAMS, and FSE. Co-chaired the Student Volunteer Committee for ESEC/FSE 2024 and participates in industry collaborations through UCD’s IT Strategy Group. **Lab/Teams**: Leads the SPARE research group, focusing on secure software engineering and adaptive systems. Collaborates with Lero and industry partners on cybersecurity challenges.

Official University Profile

David SinclairView profile

Associate Professor

Dublin City UniversityIreland

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.

Official University Profile

Ken BrownView profile

Professor

University College CorkIreland

Professor Ken Brown is a faculty member at the Department of Computer Science, University College Cork (UCC), Ireland. He holds roles as Professor and Deputy Director of the Insight Centre for Data Analytics. His research focuses on Artificial Intelligence, constraint programming, optimization, and applications in wireless/sensor networks. He has led major projects including the Insight Centre (SFI), CTVR (telecom), and Authentic (energy management). Affiliations: Insight Centre, CTVR, GLACIATION, SEISMEC Key awards: IEEE SECON 2015 Best Demo, TAOS 2014 Best Paper Education: BSc (Mathematics, Glasgow), MSc (Logic & Computation, Manchester), PhD (AI in Engineering, Bristol). Extensive postdoc and academic roles at UCC, Aberdeen, and Carnegie Mellon. Research interests include constraint-based decision support, smart building systems, and network resilience. Over 150+ publications in journals like Ad Hoc Networks , Constraints , and conferences like IEEE SECON, ICTAI. Grants: Over €10M secured, including SFI, EI, and ERC funding. Supervised 30+ PhD/MSc students. Current research includes smart energy systems, autonomous network repair, and AI for emergency response.

Official University Profile

Anthony VentresqueView profile

Visiting Associate Professor

University College DublinIreland

Dr. Anthony Ventresque is a Visiting Associate Professor at the University College Dublin, School of Computer Science , with a PhD in Computer Science from the University of Nantes & INRIA France (2008). He is also the Director of the TCD Complex Software Lab and a Senior Investigator with Lero, the SFI Irish Software Research Centre. MSc in Philosophy and Logic from the University of Nantes PhD in Computer Science from the University of Nantes & INRIA France His research focuses on Software Engineering , Genetic Programming , and Multi-objective Optimization , with applications to Autonomous Systems , Cloud Computing , and Sports Analytics . Recent publications highlight his work on grammar-obeying program synthesis using large language models, mutation testing for software quality, and domain adaptation for object detection in rugby data. His scientific awards include a Teaching Award from the UCD School of Computer Science in 2020. He has contributed to grants like Mutation Testing at Scale and Advancing Computational Archaeology , and his teaching activities encompass modules such as Big Data Programming and Operating Systems over multiple years. He leads the TCD Complex Software Lab , fostering interdisciplinary research and innovation.

Official University Profile

Christophe MeudecView profile

Senior Lecturer

South East Technological UniversityIreland

Dr. Christophe Meudec is a Senior Lecturer in the Department of Computing at South East Technological University (SETU), Ireland. His research focuses on symbolic execution, constraint logic programming, and automatic test data generation to enhance software reliability and quality. He also explores agile development practices for web, cloud, and mobile applications, as well as innovative teaching technologies like blended collaborative cloud learning in computer science education. Education: Masters of Arts (MA) in Teaching and Learning, South East Technological University (2016) PhD in Automatic Test Cases Generation From Formal Specifications, Queen's University Belfast (1998) B.Sc. Honors in Computer Science, Queen's University Belfast (1992) Licence in Informatique, Université de Rennes 1 (1991) National Diploma in Mathematics, Physics, and Computing, Université du Maine (1990) Research Interests: Dr. Meudec's work bridges theoretical computer science and practical software engineering. His core areas include symbolic execution using CLP, static/dynamic analysis of software, automated test generation, and agile methodologies. His contributions aim to improve software quality, developer productivity, and student engagement through cloud-based collaborative learning environments. Awards: FIWARE Smart Society Challenge (2014) Advising & Grants: Dr. Meudec supervises PhD students in symbolic execution and test generation. He has secured grants for projects like “Blended Collaborative Cloud Learning” and participated in initiatives like the FIWARE Challenge. His work is supported by industry collaborations and academic partnerships. Labs/Teams: Involved in the compuCORE research group at SETU, focusing on applied computing solutions. Active in CLP-based testing tool development (e.g., ATGen, IBIS, CSET).

Official University Profile