Isa Vialard

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

• On the cartesian products of well orderings.
  Available on arXiv.
• Ordinal Measures of the Set of Finite Multisets, MFCS 2023.

Mail

vialard[at]lmf.cnrs.fr