Christophe Meudec
University Senior Lecturer In Software Engineering at South East Technological University
Carlow, Ireland
Summary
👤
Senior🎓
Top SchoolChristophe Meudec is a senior academic and practitioner in software engineering with 13+ years of experience combining university teaching, course leadership and applied research in automated testing and symbolic execution. As a University Senior Lecturer and former co‑founder of a cloud-mobile app company, he bridges rigorous research—automatic test data generation for Ada, Java bytecode and C using constraint logic programming—with practical agile and lean product delivery. He directs software development programs, serves on academic councils, and has a track record of translating formal methods into tools and curricula for industry-relevant skills such as Android, web and cloud development. Unusually for an academic, he also holds hands-on startup and consultancy experience and a malware reverse-engineering certificate, reflecting a wide technical curiosity beyond pure research.
12 years of coding experience
27 years of employment as a software developer
PhD, Software Engineering, PhD, Software Engineering at Queen's University BelfastLicence, Informatique, Licence, Informatique at Université de Rennes ICertificate, Malware Reverse Engineering, Certificate, Malware Reverse Engineering at Kaspersky AcademyMaster of Arts (MA), Teaching and Learning, 1st Class Honours, Master of Arts (MA), Teaching and Learning, 1st Class Honours at Institute of Technology, CarlowDEUG, Mathematics, Physics, Computing, DEUG, Mathematics, Physics, Computing at Université du Maine-Le Mans-Laval
French, English
Github Skills (20)
benchmark10
measurement9
linux9
benchmarking9
prolog9
cgroups9
symbolic-execution8
python8
checker6
tla6
verification5
clp5
tlaplus4
model-checking4
kotlin3
Programming languages (5)
Github contributions (5)
echancrure/Sikraken
Jun 2024 - Mar 2025
Sikraken: A Test Suites Generator for C Code
Contributions:8 reviews, 3 PRs, 440 pushes in 9 months
ccomp-testprologsymbolic-executiontest-data-generator
echancrure/studentAttendance
Feb 2017 - Nov 2023
Contributions:3 pushes, 1 branch in 6 years 10 months
Find and Hire Top DevelopersWe’ve analyzed the programming source code of over 60 million software developers on GitHub and scored them by 50,000 skills. Sign-up on Prog,AI to search for software developers.