Teaching

École Centrale of Nantes

During the preparation of my Ph.D. (2006-2009), I have been a teaching assistant for the Control Theory and Robotics department at the l'École Centrale of Nantes (about 120 hours in three years).

I have supervised projects and taught tutorial and laboratory courses in:

• Modeling and Simulation of Signals and Systems (SCUBE, formely M3SYS) ;
• Electronics (EONIQ).

Institut supérieur de l'aéronautique et de l'espace (ISAE)

In 2008-2010, I also gave some talks in the System Engineering Specialized Master at the ISAE, first on system modeling with EFFBDs and then on their formal verification.

The talks were part of the following courses:

• System Modelling and Analysis (SMA); the slides are available here;
• Optimise, Decide, Justify, Verify & Validate(ODJVV). The 2008-2009 slides are available here and the 2009-2010 slides are available here.