Isa Vialard

Isa Vialard is a Postdoctoral Researcher at the Max Planck Institute for Software Systems (MPI-SWS) in Saarbrücken, Germany. She is affiliated with the Foundations of Algorithmic Verification Group led by Joël Ouaknine. Her research focuses on well quasi-orders (WQOs), ordinal measures, and their applications to verification of well-structured transition systems. She also explores weighted timed games and combinatorics on words, with contributions to proof assistant methodologies.

Education: She completed her PhD at Laboratoire Méthodes Formelles (LMF), ENS Paris-Saclay, under the supervision of Philippe Schnoebelen, with a thesis titled Measuring well quasi-orders and complexity of verification (defended July 2024).

Teaching: From 2021 to 2024, she taught courses on Formal Languages, Rewriting Theory, Architecture and Systems, and Logic Project at ENS Paris-Saclay. She currently supervises Angel Wuttke’s internship on 2-clock weighted timed games.

Publications: Her work bridges theoretical computer science and mathematical logic, with recent contributions to piecewise complexity analysis, tropical algebra applications, and ordinal measures of combinatorial structures. Key areas include formal verification, subword complexity, and algebraic methods for discrete systems.

Labs/Teams: Active member of the Foundations of Algorithmic Verification Group at MPI-SWS, collaborating on timed systems and formal methods research.