Teaching

2022-2023

Université Grenoble Alpes, MAT309: Algebra and arithmetic
Université Grenoble Alpes, MAT406: Computer assisted mathematics

2021-2022

Université Grenoble Alpes, INF202: Modelling of information structures - formal aspects
Université Grenoble Alpes, MAT201: Linear algebra