Teaching

Since September 2020, I’m back at INSA Lyon, where I (again, or still) teach: Operating Systems, Processor Architecture. As of 2021-22:

  • together with Guillaume Beslon, I am in charge of the Computer Organization course, at INSA Lyon’s CS dept;
  • together with Guillaume Salagnac, I run the Operating Systems course, part of the IST (english-spoken) semeser, at INSA Lyon’s Telecommunications dept;
  • I run the “Cryptography and Secured Communications” course, at INSA Lyon’s Telecommunications dept;

From 2017 to 2020, I was on leave from my position at INSA Lyon, to work as a Research Engineer at CEA, in Grenoble. Hence, I was NOT teaching during that period 🙂

From 2007 to 2017, I did most of my teaching at the Computer Science department , INSA Lyon, Université de Lyon.

In the (most) recent past I managed the following courses:

  • 2016-17, together with Christian Wolf, I was in charge of the “Computer Organization” course, at INSA Lyon’s CS department;
  • 2012-2017, together with Guillaume Salagnac, I run the “Operating Systems” course which is part of the IST Semester organized by INSA for english-speaking students.

Most of my teaching is done collectively, with several permanent researchers working together on the course plan, the tutorial and practical session’s descriptions, the grading, etc. Apart from the course mentioned above, from 2007 to 2017, I was regularly involved in courses including:

Further in the past, I was in charge (lecturing) of the following course :

  • Between 2008 and 2013, I was in charge of the Advanced Operating Systems course, at INSA.

I was also involved in the following courses:

  • Computer Organization INSA Lyon, by Florent de Dinechin (2007-2015)
  • Real-Time and Embedded Systrems, INSA Lyon (2007-2011)
  • Models of Computations and Concurrency (responsible of the course), within the Master’s degree program in embedded computing, at Abo Akademi, Turku Finland. 2005-06
  • Computer Organization at UniversitĂ© de Grenoble (2001-2005)
  • Automatas and Languages (2001-2004)

Note : if you are interested in materials for teaching those topics, please contact me. Right now I’m lazy enough not to dig up my hard-drive to put them here, but I’d be happy to provide any of those if they are useful 🙂