About me

I hold a position of Maître de Conférence (~lecturer) at Université Paris-Est Créteil in the Laboratoire d'Algorithmique Complexité et Logique, team Specification and Systems Verification.

I teach at the Computer Science department of IUT Sénart-Fontainebleau.

My research topics include verification, synthesis, logic over words, automata theory, semigroup theory and relations realized by transducers.
I previously held a Post-Doctorate position at Université Libre de Bruxelles in Méthodes formelles et vérification team with Emmanuel Filiot.
I did my PhD at LIAFA (now IRIF) under the supervision of Olivier Carton (IRIF, Université Paris 7 - Denis Diderot) and Jean-Eric Pin (IRIF, Université Paris 7 - Denis Diderot/CNRS), defended on December 2nd, 2014 (view Phd Thesis (in French)).
You can check my CV for a more detailed (although in French) Curriculum Vitae.

Publications - DBLP page

• Reversible Transducers over Infinite Words.
  Joint work with Paul Gastin, Loïc Germerie Guizouarn, R. Govind and Shankara Narayanan Krishna.
  CONCUR 24 CONCUR link Arxiv
• Efficient Construction of Reversible Transducers from Regular Transducer Expressions.
  Joint work with Paul Gastin, R. Govind and Shankara Narayanan Krishna.
  LICS 22 LICS link Arxiv
• SD-Regular Transducer Expressions for Aperiodic Transformations.
  Joint work with Paul Gastin and Shankara Narayanan Krishna.
  LICS 21 LICS link Arxiv
• Two-Way Parikh Automata with a Visibly Pushdown Stack.
  Joint work with Emmanuel Filiot and Jean-Marc Talbot.
  FOSSACS 19 Springer link HAL
• Logics for Word Transductions with Synthesis
  Joint work with Emmanuel Filiot and Nathan Lhote.
  LICS 2018 Arxiv link
• On Reversible Transducers
  Joint work with Paulin Fournier, Ismaël Jecker and Nathan Lhote.
  ICALP 2017 Arxiv link Link
• Aperiodic Transducers
  Joint work with Ismaël Jecker and Pierre-Alain Reynier.
  Developments of Language Theory 2016 Arxiv link Springer
• Two-Way Visibly Pushdown Automata and Transducers
  Joint workwith Emmanuel Filiot, Pierre-Alain Reynier and Jean-Marc Talbot.
  Logic In Computer Science 2016 Arxiv acm
• Adding modular predicates to first-order fragments
  Joint work with Charles Paperman.
  Submitted. Arxiv link
• Alternation hierarchies of first order logic with regular predicates
  Joint work with Charles Paperman.
  Fundamentals of Computation Theory 2015, p 160-172. Springer Link
• Aperiodic two-way transducers and fo-transductions
  Joint work with Olivier Carton.
  Computer Science Logic 2015, p 160-174. PDF
• Two-variable first order logic with modular predicates over words
  Joint work with Charles Paperman.
  Symposium on Theoretical Aspects of Computer Science 2013, p 329-340. PDF
• Rankers over Infinite Words
  Joint work with Manfred Kufleitner and Alexander Lauser.
  Developments in Language Theory (DLT) 2010, Conference Proceedings, volume 6224 of Lecture Notes in Computer Science, pages 148-159. Springer, 2010. PDF