I am currently a PhD student since September 2021 under the suvervision of Philippe Schnoebelen, on the subject "Measuring WQOs and complexity of program verification".
Teaching
- 2023/2024 - ENS Paris-Saclay
- Projet Logique (TP, L3).
- Formal languages (TD, L3).
- 2022/2023 - ENS Paris-Saclay
- Architecture+Systems (TP, L3) with Luc Chabassier.
- Formal languages (TD, L3).
- 2021/2022 - ENS Paris-Saclay
- Rewriting (TD, M1).
- Formal languages (TD, L3).
Publication
- I. Vialard, On the Width of the Cartesian Product of Ordinals, Order (2024).
- M. Praveen, Ph. Schnoebelen, I. Vialard, J. Veron, On the piecewise complexity of words and periodic words, SOFSEM 2024
- I. Vialard, Ordinal Measures of the Set of Finite Multisets, MFCS 2023.
- S. Abriola, S. Halfon, A. Lopez, S. Schmitz, Ph. Schnoebelen, I. Vialard, Measuring well quasi-ordered finitary powersets, soon to be submitted to MSCS.
vialard[at]lmf.cnrs.fr