Teaching

2012 (Volume horaire:144h)

  • Master Informatique en Architectures Logicielles 2 (ALMA 2)
  • Construction Formelle de Logiciels (CM, TD)
  • Master Méthodes Informatiques Appliquées à la Gestion des Entreprises 1 (MIAGE 1)
  • Développement Logiciel : Approche Formelle & à Objets (CM, TD, TP)
  • Master Informatique en Architectures Logicielles 1 (ALMA 1)
  • Techniques de Développement (CM, TP)
  • Vérification et Tests (TP)
  • L1 Biologie Géologie Chimie (BGC)
  • Initiation à l'algorithmique et aux outils informatiques usuels (TD)
  • L3 Informatique, tous parcours
  • Objets, évènements, développement d'applications (TP)

2012/2013 (Volume horaire:96h)

  • Télécom et Réseaux 2
  • Programmation Avancée (TD/TP/Projet Long)
  • Télécom et Réseaux 1
  • Langage Objet (TD/TP/ProjetCourt)