Courses

IUT Montpellier-Sète

• Programmation fonctionnelle (functional programming) — 2022

• Algorithmique avancée (advanced algorithmics) — 2021

• Conception et programmation objet avancées (advanced object-oriented design and programming) — 2021

IMT Atlantique

• Simulation à événements discrets (discrete-event simulation) — 2021 (slides)

• Algorithmics and Discrete Mathematics (PyRat) — 2019, 2020

Université de Nantes

• Modeling and Verifying Concurrent Systems — 2019 (slides), 2020

Chalmers University of Technology

• Mathematical Modelling and Problem Solving — 2017, 2018

• The Computer Scientist in Society — 2015, 2016, 2017, 2018

• Testing, Debugging and Verification — 2015, 2016, 2017, 2018

• Discrete Optimization — 2015, 2016, 2017, 2018

• Algorithms — 2015, 2016

Supervision

• YuTing Chen — Master's thesis (as co-supervisor, 2015/2016)