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
- 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
- On the cartesian products of well orderings.
Available on arXiv.
vialard@lsv.fr