Enseignement
J'ai participé activement aux réflexions sur le LMD en 2004 et aux discussions pour la ré-habilitation de la licence et du master en 2009 puis en 2012 en préparation de l'habilitation qui commencera en 2014. Voici un aperçu des enseignements auxquels j'ai participé ces dernières années. Il en manque peut-être certains.
En licence ... et avant en DEUG
- J'ai créé en 2004 avec Christian Queinnec le module d' Environnement de Développement, j'ai été responsable de ce module un semestre sur deux, j'ai gèré l'équipe pédagogique et assuré un groupe de TD/TP pendant 4 ans; ce module a une page Web assez riche, notamment du point des annales qui donnent lieu par ailleurs à une version corrigée éditée chez Paracamplus
- Cette UE s'est scindée en deux parties en 2009: une UE de L2 Initiation à l'automatisation des tâches dont j'ai pris la responsabilité et une UE de L3 Environnement de développement sous la responsabilité de Philippe Trébuchet.
- J'ai créé avec Philippe Aubry puis Guénaël Renault le module Arithmétique, Algorithmique et Applications en troisième année de licence d'informatique, et j'y ai assuré une partie du cours et d'un groupe de TD/TP
- Cette UE s'est scindée en deux parties en 2009: une UE de L2 Calcul scientifique et une UE de L3 dont je suis co-responsable respectivement avec Jean-Claude Bajard et Guénaël Renault.
- J'ai créé et été responsable de 2004 à 2007 du module
d'
Introduction à la Programmation Impérative en C, j'y ai assuré
un TD/TP la première année et j'ai assuré un des deux amphis
de cours jusqu'en 2009, j'ai transmis la responsabilité du module en 2007
Nicolas Sabouret, ce
module s'adressait à 500 étudiants de niveau L2 en informatique,
mathématiques-informatique, électronique, préparation à l'École
Polytechnique Universitaire, mathématiques, etc.
Ce module est descendu en 2009 d'un semestre au second semestre de première année de licence sous la responsabilité d'Aurélie Beynier.
- J'assure depuis 2007 un TD/TP de structures discrètes en deuxième année de licence d'informatique et auparavant en 2001 au module outils mathématiques pour l'informatique en licence d'informatique qui préfigurait ce module. J'ai réorganisé le fascicule de TD/TME avec Béatrice Bérard en 2009.
- J'ai assuré des TD/TP d' algorithmique générale en licence d'informatique en 2001-2002, puis de 2003 à 2006
- J'ai assuré des TD/TP dans le module de programmation en Caml (introduction au langage, typage et évaluation d'un noyau fonctionnel et impératif de Caml-Light) en licence d'informatique de 1997 à 1999 sous la repsonsabilité de Thérèse Hardin, puis j'ai pris en charge l'organisation du module (300 étudiants), le début du cours, la page Web de 1999-2002 en licence, magistère MIAIF, MST 1ère année avec Marc Pouzet et Renaud Rioboo
- J'ai proposé un projet de programmation du jeu Columns en Objective Caml en DEUG MIAS 2ème année, assuré les cours TD/TP de 2000 à 2004
- J'ai assuré des TP de langage OCaml dans le module d'option de DEUG MIAS 2ème année en 1999
- J'ai assuré des TD/TP de machine et représentation en seconde année de DEUG MIAS de 2001 à 2004
- J'ai assuré des TD/TP d'un module de programmation système et internet en seconde année de DEUG MIAS en 2000-2001 et 2003-2004
- J'ai assuré des TD/TP de Pascal en DEUG MIAS 2ème année de 1997 à 1999 probablement
- En 1999-2000, j'ai participé à un module impliquant Word, Excel et VBA en première année de DEUG MIAS
- Avec Philippe Aubry j'ai évalué les candidats cumulatifs en DEUG pour l'informatique de 2001 à 2004 (examens de programmation)
- J'ai assuré quelques TD/TP de C et Unix en licence d'informatique en 1997 avec Christian Queinnec
En Master ... et avant en maîtrise, DESS et DEA
- De 2000 à 2007, j'ai été responsable du module Test du DESS DLS commun à l'université Paris 6 et au CNAM puis du Master d'informatique, spécialité STL, M2 professionnalisant parcours Logiciels Sûrs de l'université Paris 6 et Master STIC, mention informatique Spécialité MOCS Parcours Logiciels Sûrs du CNAM avec Philippe Ayrault (expert international, anciennement chez Surlog, puis Alcatel et fondateur de la société Etersafe) et j'ai passé la main en 2008 à Pascal Manoury
- J'ai suivi des stages et participé à l'évaluation du DESS DLS de 2001 à 2004.
- J'ai participé en 2006 au module Algorithmique avancée en M1 de la spécialité STL du Master d'Informatique.
- De 2005 à 2008 j'ai participé à l'évaluation des projets et à la sélection des candidats de la spécialité STL du Master d'Informatique
- J'ai présenté une introduction à Unix et Maple dans une UE de mise à niveau au début du DEA Algo de 1998 à 2000, j'ai à cette occasion créé un viatique pour survivre sous Unix qui a été actualisé depuis lors et est utilisé tout au long du cursus des étudiants.
- J'ai fait des rappels de programmation fonctionnelle en Caml dans le DESS DLS en 2001-2002.
- J'ai participé de 2002 à 2004 aux TD/TP du module Compression, Cryptographie et Codage
- J'ai fait des TD/TP de calcul formel en Maple et d'apprentissage de LaTeX en maîtrise d'informatique et maîtrise d'ingénierie mathématique en 2002, le cours étant assuré cette année-là par Renaud Rioboo.
- Entre les deux semestres de maîtrise d'informatique en 2003, j'ai présenté en quelques heures des outils de développement: Makefile, gestion de versions, débogueur, enseignement qui a préfiguré celui d'enseignement d'environnement de développement qui existe actuellement en licence.
Formations hors UFR
- J'ai assuré des TP dans le module d'introduction à la programmation en C d'Annick Valibouze en première année de l'ISUP en 1998-1999.
- J'ai assuré une partie du cours et des TP d'un stage de formation permanente de programmation fonctionnelle en Caml pour le CEA en 2001-2002 avec Emmanuel Chailloux et Christophe Gonzales.
... et avant:
- Je suis enseignant-chercheur en informatique à l'université Paris 6 depuis 1997
- J'ai été ATER à l'Université d'Évry Val d'Essonne de 1994 à 1996 au sein de l'équipe Specif du LAMI: j'ai enseigné l'informatique en licence de mathématiques, la programmation fonctionnelle en MIAGE 2, de la bureautique dans diverses sections de première année de DEUG de sciences sociales (droit, sociologie) et j'ai monté un enseignement de programmation en Caml pour débutants en DEUG première année, dont mon ouvrage avec Catherine Dubois est issu.
- J'ai fait des vacations de TD/TP de Maple à l'Université de Versailles avec Guillermo Moreno.
- J'ai été monitrice à l'université Paris 6 de 1990 à 1992 où j'ai assuré des TD/TP de Pascal en DEUG, ainsi que des TP de Scheme seule dans un diplôme d'université de Programmeur d'Études.
- J'ai assuré des colles d'informatique en classes préparatoires aux grandes écoles de 1989 à 1990 au Lycée Raspail à Paris, avec programmation des méthodes numériques classiques.
