Bio.

Je suis CR INRIA au LORIA dans l’équipe MOCQUA.

Mon travail s’inscrit dans une démarche interdisciplinaire, qui mêle des questions de calculabilité (notamment indécidables, dans la hiérarchie arithmétique) à un formalisme de dynamique symbolique (les SFT) vu sous un prisme probabiliste, mais aussi à des arguments de physique statistique (comportements chaotiques, etc.).

Je co-encadre actuellement la thèse de Vivien Ducros avec Emmanuel Jeandel.

Je travaille à rendre le monde universitaire plus inclusif par mon engagement dans le comité PÉDI.

🇵🇸 Le monde académique ne sera pas tant que dureront l’occupation israélienne, l’apartheid et le génocide en Palestine.

💎 Je m’engage à éviter d’évaluer des publications pour des journaux et évènements qui ne les rendent pas publiquement accessibles.

🦜 Je m’engage à ne pas utiliser d’IAg dans toutes les dimensions de mes activités académiques.