Teaching
-
March—April 2016, 2019: COMP524 at the University of Liverpool; Safety and Dependability: Lectures on Continuous-time Markov Chains and Decision Processes (masters module).
-
September 2013 ― December 2013: ISTIC (University of Rennes 1); Algorithms on Graphs (tutorial class, undergraduate level L3 — B.Sc).
-
November 2009 ― January 2010 & November 2010 ― January 2011: École Nationale Supérieure d'Informatique et de Mathématiques Appliquées de Grenoble (Ensimag); Computer Architecture (practical work, first year Engineering).
-
September 2010 ― November 2010: Ensimag; Unix courses (first year Engineering).
-
November 2009 ― December 2009: Ensimag; Advanced Unix: shell-script development (practical work, first year Engineering).
-
October 2008 ― January 2009 & October 2009 ― January 2010: Conservatoire National des Arts et Métiers (CNAM), at the regional centre in Grenoble; Algorithms and Data Structures (course, undergraduate level, 64 hours).
-
June 2009: Ensimag; System Programming: development of an operating system for x86 architecture (project supervision, second year Engineering).
-
June 2009: Ensimag; C Programming: development of a MIPS assembler, or a MJPEG decoder (project supervision, first year Engineering).
Other
-
November 2010 & January 2011: Ensimag; Exam assistance for a disabled student.