Isa Vialard

I am a postdoctoral researcher at MPI-SWS, where I am part of the Foundations of Algorithmic Verification group led by Joël Ouaknine. Before that, I did my PhD at Laboratoire Méthodes Formelles, ENS Paris Saclay, under the supervision of Philippe Schnoebelen.

My PhD Thesis: Measuring well quasi-orders and complexity of verification.

Contact

You can contact me at surname[at]mpi-sws[dot]org

Research interests

My main interest is well quasi-orders, their ordinal measures, with application to the verification of well-structured transition systems. I am also interested in proof assistants and combinatorics on words.

Publications

• 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, submitted to Mathematical Structures of Computer Science.

• Ph. Schnoebelen and I. Vialard, On the piecewise complexity of words, accepted by Acta Informatica (2024).

In preparation

• Ph. Schnoebelen, M. Veron, I. Vialard, Tropical algebra for compositional subword complexity.

• M. Džamonja, I. Vialard, On maximal order type of the lexicographic product.

Presentations

Here are the slides from some of my presentations (sadly they are not self-sufficient).

• My PhD defense, Measuring well quasi-orders and complexity of verification, ENS Paris-Saclay, July 2024.

• Ordinal measures of the set of finite multisets, MFCS, Bordeaux, September 2023.

• Elementary, Dr. Powerset!, workshop “WQO-BQO - what is up?”, Lyon, March 2023. (This is the sequel to a talk given by Aliaume Lopez at the same workshop.)

Teaching

I used to teach Formal languages, Rewriting theory, Architecture and sytems, and Logic Project (an introduction to proof assistants) at ENS Paris-Saclay.

Miscellaneous

• I have a ha-index of 64.
• My favourite time-sink : Rätsel Portal