• home
  • haut de page
  • Compil (S5)
  • SVL (M1)

Enseignement

Je donne mes enseignements dans les Formations Informatiques de Lille (FIL), UFR d'IEEA, à l'Université Lille 1.

Cette année (09-10)

Je suis responsable des stages et projets techniques en Master 2 IAGL.

Je m'occupe des cours suivants :

  • C/TD/TP de COMPIL en Licence info (S5) (la page du cours)
  • Spécification et validation du logiciel (SVL) en M1 (la page du cours)

Les années précédentes

À l'Université Lille 1 :

  • C/TD/TP de Compil en Licence info parcours GMI (S6)
  • VL (validation du logiciel) en Master IAGL
  • détermination du projet professionnel (DPP) en Licence
  • TD/TP de programmation Java (POO)
  • programmation fonctionnelle en Deug Mias1 et Deug Mass1
  • projet 1 en licence

À l'IUT de La Rochelle :

  • BD en 2ème année : base de données, SQL2 sous Oracle8i
  • PROG en 1ère année : algorithmique et structures de données, C++
  • Réseaux en 2ème année : norme OSI/ISO, réalisation en TP d'un service ftp via les sockets Unix
  • Test et méthodes formelle en 1ère année : spécifications en Z
  • ACSI (Analyse et Conception des Systèmes d'Information) en 1ère année : projet, partie réalisation de prototype en Python

À l'IFSIC :

  • PROG en DIIC1 : techniques de programmation (langage Eiffel)
  • co-encadrement d'un projet tutoré en entreprise en IUP Miage3 : projet Biologos
  • TP-projet de CPL1 en DIIC2 : réalisation du frontal d'un compilateur pour un petit langage impératif (en utilisant C, Lex, Yacc, etc)
  • IAE en Deug SM2 : initiation à l'algorithmique, éléments de programmation impérative (en Pascal)
  • AF1 en Deug Miass 1 : initiation à l'algorithmique et à la programmation fonctionnelle (en Scheme)

Last modified: Wed Sep 27 11:09:53 CEST 2006