Teaching in french

Master level: Compiler techniques

Undergraduate/Bachelor level: - Different courses of Algorithmics
           - Software Testing
           - Constraint programming, logic programming and introduction to AI

Student mobility: in charge of the Erasmus+ agreement with the computer science department of the University of Verona (Italy).

Teaching in English
   - Algorithmics
   - Software Testing
   - Constraint programming, logic programming and introduction to AI

Research

Member of the SHAKER/SHARP team, Lab-STICC Laboratory.

Research interests: Software reliability, testing, maintenance, static/dynamic verification.

Some items addressed:

• the verification of real-time scheduling properties based on execution traces analysis ;
• some formal test items, in particular the qualitative design of test data related to program proof;
• some methodological aspects of mixed-signal board testing during the maintenance stage (functional modeling and testing) ;
• the automation of a part of the testing process using constraint solvers to automate the generation of test data.

Keywords: Program testing (formalization, automation), functional testing, ATPG, reliability, software engineering.

Publications