Isa Vialard

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

• 2023/2024 - ENS Paris-Saclay
  • Projet Logique (TP, L3).
  • Langages Formels (TD, L3).
• 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

• 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.

Mail

vialard[at]lmf.cnrs.fr