Currently

• Graphs and applications (Master level) since 2021 in Polytech Montpellier (1st semester)
• Formal design and verification (Master level), since 2014 in Polytech Montpellier (2nd semester)

In the past

2013/2014

• Synchronous programming with the Signal language (invited lecture and practical lab for Master level) at Ecole Normale Supérieure de Lyon (2nd semester)

2010/2013

• Design of Embedded Systems in 5th year (equivalent Master degree) at Telecom-Lille1 (1st semester)
• Specification and Validation of Software in Master degree at Université de Lille 1 (2nd semester).

2006/2009

• Design of System-on-Chip in Master degree at Université de Lille 1 (1st semester)

2005/2006

• Specification and Validation of Software in Master degree at Université de Lille 1 (2nd semester).

2004/2005

• Real-time programming in Master degree at IFSIC (1st semester).
• Software engineering in Master degree at IFSIC (1st semester).
• Functional programming in Licence MIPE 1 at Université de Rennes 1 (1st semester).
• Analysis of information systems in Master degree at IFSIC (2nd semester).
• Networks and protocols in Master degree at IFSIC (2nd semester).
• Algorithmics and computer architectures in Licence STS at Université de Rennes 1 (2nd semester).

2003/2004

• Functional programming in DESS CCI at IFSIC, and DEUG MIAS (1st year) at the Université de Rennes 1 (1st semester).
• Software engineering using Design Patterns in Maîtrise at IFSIC (1st semester).
• Introduction to software engineering in DEUG MIAS (2nd year) at the Université de Rennes 1 (2nd semester).

2000/2003

• Functional programming in DESS CCI at IFSIC, and DEUG MIAS (1st year) at the Université de Rennes 1 (1st semester).
• Introduction to software engineering in DEUG MIAS (2nd year) at the Université de Rennes 1 (2nd semester).