I am a PhD student at IRIF, under the joint supervision of Thomas Colcombet and Karoliina Lehtinen, that began in September 2023.

I reside at the office number 4033, along with Vincent Moreau, Arturo de Faveri and Corentin Henriet.

You can contact me at idir[at]irif[dot]fr.

I am part of the Automata team, and work on automata and games.

My current research topics include

• Guidable automata [ Colcombet Löding 08 ], and its link with the Mostowski index problem
• Positionality questions on infinite games
• (on standby) Explorable automata

Olivier Idir, Karoliina Lehtinen, Using games and universal trees to characterise the nondeterministic index of tree languages. ICALP 2025 - 52nd EATCS International Colloquium on Automata, Languages, and Programming. [ PDF ]

Antonio Casares, Olivier Idir, Denis Kuperberg, Corto Mascle, Aditya Prakash, On the Minimisation of Deterministic and History-Deterministic Generalised (Co)Büchi Automata, CSL 2025 - 33rd EACSL Annual Conference on Computer Science Logic. Volume 326, pp. 22:1-22:18. [ PDF ]

(nothing in common with my current research)
Olivier Idir, Alessandro Renzaglia. Multi-Robot Weighted Coverage Path Planning: a Solution based on the DARP Algorithm. ICARCV 2022 - 17th International Conference on Control, Automation, Robotics and Vision, Dec 2022, Singapore, Singapore. pp.1-7. [ PDF]

Presentation at GT Verif 24, LIS and IRIF on the link between register games, guidable automata and the mostowski index. The last version of the corresponding slides is here (but need some updating for clarity).

Seminar at LIS on explorable automata, in february 2024. slides

While you're there, here is some nice music you should listen to : Jonathan Hultén - Where Devils Weep