Affiliations à des groupes et laboratoires de recherche

Je fais actuellement partie des groupes et laboratoires de recherche suivants:

• Laboratoire en architecture de systèmes informatiques (LASI)

Projets de recherche

Voici quelques sujets sur lesquels je travaille :

• Conception logicielle pour stabilité
• Vérification et validation de logiciels

Publications

La liste de mes publications est dans la section « Publications ».