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.


![[XHTML 1.0]](/_img/logo-xhtml-1.0.png)
![[CSS 3]](/_img/logo-css.png)