Enseignements (archives)

Années 2007-2012

• cours de M2 dans le Master Parisien de Recherche en Informatique (MPRI), filière 2-6: interprétation abstraite.

Année 2006-2007

Enseignements à l'École normale supérieure de Paris.

• TP d'algorithmique et programmation avec Pierre-Alain Fouque. Cours donné par Jacques Stern.
• TP de programmation système UNIX. Cours donné par Jacques Beigbeder.
• Cours et TP d'initiation à la programmation en C déstinés aux non informaticiens.

• cours de M2 dans le Master Parisien de Recherche en Informatique (MPRI), filière 2-6: interprétation abstraite.

Années 2002-2003 et 2003-2004

TP de langages et automates, 3ème année de l'IUP GMI à l'Université Parix IX Dauphine.

• TD sur les langages réguliers,
• TD sur les grammaires,
• TP sur Flex et sa correction,
• TP sur Bison et sa correction.
• projet 1er semestre 2002-2003: interpréteur BASIC avec tortue. Sa correction.
• projet 2ème semestre 2002-2003: interpréteur mini-SQL.
• projet 1er semestre 2003-2004: interpréteur BASIC avec tortue. Sa correction.
• projet 2ème semestre 2003-2004: interpréteur BASIC pour manipuler des images bitmap.

Année 2001-2002

TP d'algorithmique et programmation en C, 1ère année de l'IUP GMI à l'Université Parix IX Dauphine.

• devoir 1 (Fibonacci),
• devoir 2 (tableaux extensibles),
• devoir 3 (compression de Huffman),
• devoir 4 (partitionnement de points),
• projet (gestion d'une classe d'élèves).

Année 2000-2001

TP du cours systèmes et réseaux de François Bourdoncle, Majeure informatique de l'École Polytechnique.

Antoine Miné