Christophe Meudec

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).