- Verification, infinite systems, well quasi orders, formal languages, parsing, computational linguistics
- Curriculum Vitae
- Steering committee of GT-Verif.
- PC member for conferences NAACL-HLT'19 (theory and formalisms), LICS'18, Petri nets'17, STACS'17, and workshops RP'15, RP'12, CSLP'12, LDTA'12, LDTA'11, TAG+10, TAG+9;
- organizing committees of Highlights 2014 (co-chair), GT-Vérif 2014, GT-Vérif 2013 (co-chair), CIAA'05.