J'enseigne à l'Ensimag (école d'ingénieur de Grenoble INP), en première et deuxième année (L3 et M1).
Algorithmique et programmation (première année)
J'encadre des TPs d'algorithmique 1 (3MMALG11). Dans ce module, les étudiants sont amenés à trouver et/ou implémenter (en Ada) des algorithmes classiques. Les ressources sont disponibles sur le KIOSK.
Vous trouverez ici de nombreuses informations ainsi qu'un très bon tutoriel sur ada.
Système d'exploitation (deuxième année)
-
Je donne des TDs de système d'exploitation et programmation concurrente (4MMSEPC). Ce cours présente les mécanismes mis en place dans les systèmes d'exploitations, l'accent est mis sur la gestion de la concurrence. Les ressources sont disponible sur l'ensiwiki.
-
Le projet de spécialité système complète le cour de SEPC, les étudiants ont l'occasion d'implémenter un système plus complet que le noyau mis en place dans le projet système. Les ressources sont disponibles sur l'ensiwiki.
Je recommande à tous les étudiants qui voudraient aller plus loin le livre What every programmer should know about memory de Ulrich Drepper.