Je suis actuellement en thèse depuis le 1er septembre 2021 sous la supervision de Philippe Schnoebelen, sur le sujet "Mesures des beaux préordres et complexité de la vérification".
Enseignement
- 2022/2023 - ENS Paris-Saclay
- Architecture et Système (TP, L3) avec Luc Chabassier.
- Langages Formels (TD, L3).
- 2021/2022 - ENS Paris-Saclay
- Réécriture (TD, M1).
- Langages Formels (TD, L3).
Publication
- On the cartesian products of well orderings.
Disponible sur arXiv.
vialard@lsv.fr