Enseignement
-
mars—avril 2016, 2019: COMP524 à l'University of Liverpool; cours sur les processus de Markov à temps continu (niveau Master).
-
septembre 2013 ― décembre 2013 : ISTIC (Université de Rennes 1); Algorithmique des graphes (travaux dirigés, licence informatique parcours MIAGE troisième année ― BAC + 3).
-
novembre 2009 ― janvier 2010, novembre 2010 ― janvier 2011 : École Nationale Supérieure d'Informatique et de Mathématiques Appliquées de Grenoble (Ensimag); Architecture des ordinateurs (travaux pratiques, première année ― BAC + 3).
-
septembre 2010 ― novembre 2010 : Ensimag; Stage Unix de rentrée (première année ― BAC + 3).
-
novembre 2009 ― décembre 2009 : Ensimag; Unix avancé : développement de scripts (travaux pratiques, première année ― BAC + 3).
-
octobre 2008 ― janvier 2009, octobre 2009 ― janvier 2010 : Conservatoire National des Arts et Métiers (CNAM), au centre régional de Grenoble; Algorithmique et Structures de Données (cours, première année ― BAC + 1, 64 heures).
-
juin 2009 : Ensimag; Projet de spécialité système : réalisation d'un système d'exploitation pour architecture x86 (encadrement de projet, deuxième année ― BAC + 4).
-
juin 2009 : Ensimag; Projet C : réalisation d'un assembleur MIPS ou d'un décodeur MJPEG (encadrement de projet, première année ― BAC + 3).
Autre
-
novembre 2010, janvier 2011 : Ensimag; Assistance d'examen pour un étudiant handicapé.