Research output per year
Research output per year
Accepting PhD Students
PhD projects
Symbolic Execution using Prolog
Research activity per year
Dr. Christophe Meudec, a Software Engineering academic at the South East Technological University in Ireland, has engaged in various research topics related to software analysis and development. Here are some of the intriguing areas he has explored:
Symbolic Execution using Constraint Logic Programming:
Dr. Meudec’s fundamental research interests lie in symbolic execution. Symbolic execution is a technique used to analyze software code by exploring different execution paths symbolically rather than concretely.
He employs Constraint Logic Programming (CLP) to perform symbolic execution. CLP combines logic programming with constraint solving, allowing for more expressive and efficient analysis.
His work in this area contributes to improving software reliability, identifying vulnerabilities, and enhancing code quality.
Automatic Test Data Generation from Source Code:
Another significant research focus for Dr. Meudec is automatic test data generation. This involves creating test cases automatically based on the source code of a program.
By generating diverse and comprehensive test data, developers can verify the correctness and robustness of their software.
His contributions in this field help streamline the testing process and ensure better software quality.
Static and Dynamic Analysis of Software Code:
Dr. Meudec investigates both static and dynamic analysis techniques for software code.
Static analysis involves examining the code without executing it, identifying potential issues (such as bugs or security vulnerabilities) through code inspection.
Dynamic analysis, on the other hand, observes the behavior of a running program to detect runtime errors, memory leaks, and performance bottlenecks.
His research aims to enhance code understanding, optimize performance, and improve overall software development practices.
Agile Development of Web, Cloud, and Mobile Apps:
Beyond research, Dr. Meudec is actively involved in promoting agile development practices.
He lectures widely on topics related to Web, Cloud, and Mobile App development, emphasizing agility, collaboration, and efficient delivery.
His practical insights benefit both students and industry professionals seeking to build robust and responsive applications.
Teaching Technologies and Student Engagement:
Dr. Meudec’s applied interests extend to novel teaching technologies. He explores innovative ways to engage students and enhance their learning experiences.
His MA in Teaching and Learning focuses on the introduction of blended collaborative cloud learning in third-level computer science education.
By leveraging cloud-based tools, he aims to create an interactive and effective learning environment for students.
In summary, Dr. Christophe Meudec’s research spans symbolic execution, automatic test data generation, software analysis, and agile development practices. His contributions impact both academia and industry, fostering advancements in software engineering.
Masters Degree, Master of Arts (MA) Teaching and Learning, South East Technological University
2014 → 2016
Award Date: 01 Jun 2016
PhD, Automatic Test Cases Generation From Formal Specifications, Queens University Belfast
01 Sep 1992 → 01 Jan 1998
Award Date: 01 Jan 1998
Bachelors Degree, B.Sc. Honors, Computer Science, Queens University Belfast
1991 → 1992
Award Date: 01 Jun 1992
License, Informatique, Université de Rennes 1
1990 → 1991
Award Date: 01 Jun 1991
National Diploma, DEUG Mathematics, Physics, Computing, Université du Maine
1988 → 1990
Award Date: 01 Jun 1990
Research Associate, University of York
Jan 1996 → Sep 1997
Teaching Assistant, Queens University Belfast
Oct 1992 → Dec 1995
Research output: Contribution to journal › Article › peer-review
Research output: Chapter in Book/Report/Conference proceeding › Chapter › peer-review
Research output: Contribution to conference › Presentation
Research output: Non-textual form › Software
Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review
Meudec, C. (Recipient), Chomic, D. (Recipient) & Lynch, R. (Recipient), Oct 2014
Prize