Enseignements

2019-2020 :

ESIEE - IA5E24 - Vérifications formelles - Vacataire (Cours/TD/TP)
UPEC - Master Ingénierie 2ème année - Génie Logiciel Formel - Vacataire (Cours/TD/TP)

2018-2019 :

ESIEE - IA5E24 - Vérifications formelles - Vacataire (Cours/TD/TP)
UPEC - Master Ingénierie 2ème année - Génie Logiciel Formel - Vacataire (Cours/TD/TP)

2017-2018 :

ESIEE - IA5E24 - Vérifications formelles - Vacataire (Cours/TD/TP)

2011-2012 :

Paris 7 - Master Ingénierie 1ère année - Compilation - Vacataire (TD/TP/chargé de projet)

2010-2011 :

UPMC - Licence 1ère année - LI105 De la puce au web - Vacataire (TD/TME)
Paris 7 - Master Ingénierie 1ère année - Compilation - Vacataire (TD/TP/chargé de projet)

2008-2009 :

UPEC - Licence 3ème année - Algorithmique et complexité - ATER (TD/TP)
UPEC - Licence 2ème année - Architecture et systèmes d'exploitation - ATER (TD/TP)
UPEC - Licence 2ème année - Initiation à l'algorithmique - ATER (TD)
UPEC - Licence 1ère année - Algorithmique expérimentale - ATER (TD)

2007-2008 :

UPMC - Licence 1ère année - LI102 Programmation impérative - Vacataire (TME)

2006-2007 :

UPMC - Licence 1ère année - LI101 Programmation récursive - Vacataire (TME)
UPMC - Licence 1ère année - LI105 De la puce au web - Vacataire (TME)

2005-2006 :

IFIPS - Cycle Ingé1 s6 - Projet système - Vacataire (chargé de projet)