Enseignement
J'ai été moniteur de l'Université Paris XI et enseigné à la faculté
d'Orsay.
2007-2008
Algorithmique et Approche Fonctionnelle
Introduction à la programmation fonctionnelle: fonctions
récursives, types algébriques, types et programmation modulaire.
2006-2007
Administration des machines de TP
Administration du réseau utilisé pour l'enseignement: un
serveur Linux et des terminaux sans disque. Maintenance et
configuration de nouveaux serveurs.
Projet Unix
Initiation à Unix, programmation shell et python, utilisation d'éditeurs,
CVS.
Page liée: teaching/Unix06
Algorithmique et Approche Fonctionnelle
Introduction à la programmation fonctionnelle: fonctions
récursives et types algébriques simples.
Langages et génie logiciel
Introduction à la programmation modulaire et aux méthodes de
développement avec un projet de taille moyenne à réaliser en
binôme. Le sujet était le développement d'un clone d'Arkanoid en
OCaml, du modèle à la boucle d'interaction, avec la partie
graphique fournie.
2005-2006
Introduction à l'Informatique
- Représentation machine des entiers, flottants. Codes cryptographiques simples.
- Fonctionnement d'un processeur, interprétation de programmes assembleurs.
- Manipulation des nombres, chaines de caractères et tableaux en utilisant les conditionelles et les boucles en C. Même chose en assembleur.
Projet compilation
Compilation d'un langage de type pascal avec filtrage en
OCaml. Inclus la déclaration de types somme, les tableaux,
références, fonctions et procédures. Le projet se décompose en
trois parties: analyse lexicale et syntaxique avec
ocamllex
et ocamlyacc
, typage et génération de
code pour une machine à pile virtuelle.
