Principaux enseignements

J'effectue mes enseignements à la faculté des Sciences (département Informatique et Interactions) de l'Université d'Aix-Marseille. J'assure des enseignements en licence et Master informatique. Aussi, j'encadre régulièrement des projets et stages de Master 1 et 2.

Mots-clés. Conception logicielle, Qualité logicielle, Réseaux, Programmation objet, Satisfiabilité, Contraintes, Encadrement de projets et stages.

Despuis 2012

  • Qualité logiciel - Outils et méthodes : Master Informatique, spécialité Génie logiciel à finalité professionnelle (Cours, TD et TP)
  • Fondements de la programmation par contraintes et de satisfiabilité : Master Informatique, spécialité SIS à finalité recherche (cours, TD)
  • Réseaux - Master 1 Informatique (Cours, TD et TP)
  • Initiation à la programmation objet - Licence informatique L2 (Cours et TD)

Entre 2005 et 2012

  • Intelligence artificielle appliquée aux problèmes industriels : Master Sciences de l’Information et des Systèmes (SIS), spécialité Informatique, parcours Génie logiciel à finalité professionnelle (Cours et TP)
  • Problèmes de satisfaction de contraintes et satisfiabilité : Master recherche SIS (Cours)
  • Réseaux et systèmes distribués : Master 1 SIS, spécialité Informatique (Cours, TD et TP)
  • Génie logiciel et programmation orienté objet : Licence informatique L3 (Cours et TD)
  • Réseaux : Licence professionnelle Assistant Chef de Projets (Cours et TD)