I was/am involved as instructor (chargé de TDs) in different graduate and undergraduate courses.
2016-2017 | Université de Rennes1, France | ACF | Software Formal Analysis and Design |
2008 | École Polytechnique, France | INF560 | Parallel Computation |
2013-2014 | Carnegie Mellon University, USA | 15-424 | Ludic Hybrid Program Simulation using Sphinx and Webots (videos) |