====Olivier Idir====

I am a PhD student at IRIF, under the joint supervision of [[users:colcombe:index|Thomas Colcombet]] and [[https://lehtinenkaroliina.wordpress.com/|Karoliina Lehtinen]], that began in September 2023.

I reside at the office number 4033, along with [[users:moreau:index|Vincent Moreau]], [[users:defaveri:index|Arturo de Faveri]] and [[users:henriet:index|Corentin Henriet]].

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

===Research===

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

My current research topics include
  * Guidable automata [ [[https://link.springer.com/chapter/10.1007/978-3-540-70583-3_33|Colcombet Löding 08]] ], and its link with the Mostowski index problem
  * Positionality questions on infinite games
  * (on standby) [[https://arxiv.org/abs/2410.23187|Explorable automata]]

===Papers===

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. [ [[https://arxiv.org/abs/2504.16819 | 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. [ [[https://arxiv.org/abs/2407.18090 | 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. [ [[https://inria.hal.science/hal-03798217v1/document|PDF]]]

===Talks===

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 [[https://www.irif.fr/?ns=users%3Aidir%3A&image=users%3Aidir%3Amostowski.pdf&do=media|here]] (but need some updating for clarity).

Seminar at LIS on explorable automata, in february 2024. [[https://www.irif.fr/?ns=users%3Aidir%3A&image=users%3Aidir%3Aexplorable_automata_seminaires_non-permanents.pdf&do=media|slides]]

===Music===
While you're there, here is some nice music you should listen to : [[https://www.youtube.com/watch?v=MlRHxllnEnA|Jonathan Hultén - Where Devils Weep]]