Français English
Enseignement
Actuel
En DUT Informatique :
- Au S1 :
- TD et TP du
module M1103 :
Algorithmique et Programmation
- Au S4 :
- Responsable du
module AT12 :
Programmation mobile sous Android
En LP SRSI :
- Co-responsable de la filière
- Responsable du
module Sécurité des
Bases de Données
Passé
-
Depuis 2015: Enseignements au département Informatique de l'IUT d'Orsay
-
2014: Préparation et encadrement pour la partie
concernant F* de
l'école
EasyCrypt-F*-CryptoVerif
-
2013: Intervention dans le
cours Functional
Programming and Proving de l'Université d'Aarhus
-
2010-2013: Monitorat à l'École Polytechnique (192h):
-
INF321:
Principes des langages de programmation (première année, 40h de TD et 10h de tutorat)
-
INF311:
Introduction à l'informatique (première année, 10h de tutorat)
-
INF422:
Introduction to Computer Architecture and Operating Systems
(deuxième année, 36h de TD)
-
INF431:
Algorithmique et programmation (deuxième année, 2x36h de TD)
-
INF549:
Initiation à Objective Caml (troisième année, 4h de TD)
-
INF551:
Computer-Aided Reasoning (troisième année, 18h de TD)
-
2010: responsable du module Preuve de Programmes à l'ENSTA à Paris (11h)
-
2008-2010: TDs de Maple en MP*4 au lycée Louis-le-Grand à Paris (2x30h)
-
2007-2008: colles de mathématiques en PCSI au lycée du Parc à Lyon (30h)
-
2007-2008: TDs de Maple en PT au lycée La Martinière à Lyon (30h)
Dernière mise à jour le 12 septembre 2016