Who I am?

I am a full-time CNRS researcher in the team Automata and Applications at LIAFA (Laboratoire d'Informatique Algorithmique: Fondements et Applications) in Paris, France.

Since January 2011, I am leading the group Automata and Applications, so fill free to contact me if you have any question on this point!

I am co-editor in chief of RAIRO - Theoretical Informatics and Applications.

Past Events

• GASICS 2011: 10 September 2011 — Aachen, Germany. PC Member.
• Automata and logic for data manipulating programs: 7-8 December 2010 — LIAFA, Paris. co-Organisateur.
• GASICS fourth meeting: 18-19 November 2010 — LIAFA, Paris. co-Organiser.
• FOSSACS 2011: 26 March-4 April 2010 — Saarbrücken, germany. PC Member.
• GDR IM — GT Jeux, Annual Meeting: 25-26 octobre 2010 — LIAFA, Paris. Organiser.
• GASICS 2010: 4 September 2010 — Paris, France. PC Member.
• Workshop on Games and Probabilistic Models in Formal Verification : 28 August 2010 — Brno, Czech Republic. PC Member.
• Workshop on Higher-Order Recursion Schemes & Pushdown Automata : 10-12 March 2010 — Paris, France. Co-organiser
• SOFSEM 2010: 23-29 January 2010 — Špindlerův Mlýn, Czech Republic. PC Member.
• GASICS 2009: 28 June 2009 — Grenoble, France. PC Member.
• GaLoP 2009 28-29 March 2009 — York, UK. PC Member.

Projects

• ESF Research Networking Programme AutoMathA.
• GASICS: Games for analysis and synthesis of interactive computational systems.