# 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 2024I. 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