Qui suis-je?

Je suis chargé de recherches CNRS dans l'équipe Automates et Applications du LIAFA (Laboratoire d'Informatique Algorithmique: Fondements et Applications) à Paris, France.

Depuis janvier 2011, je suis le responsable de l'équipe Automates et Applications, donc n'hésitez pas à me contacter pour toute question sur cette dernière!

Je suis co-éditeur en chef de RAIRO - Theoretical Informatics and Applications.

Évenement passés

• GASICS 2011: 10 September 2011 — Aachen, Allemagne. Membre du PC.
• GASICS fourth meeting: 18-19 November 2010 — LIAFA, Paris. co-Organisateur.
• Automata and logic for data manipulating programs: 7-8 December 2010 — LIAFA, Paris. co-Organisateur.
• FOSSACS 2011: 26 mars-4 avril 2010 — Saarbrücken, Allemagne. Membre du PC.
• GDR IM — GT Jeux, Annual Meeting: 25-26 octobre 2010 — LIAFA, Paris. Organisateur.
• GASICS 2010: 4 September 2010 — Paris, France. Membre du PC.
• Workshop on Games and Probabilistic Models in Formal Verification : 28 août 2010 — Brno, République Tchèque. Membre du PC.
• Workshop on Higher-Order Recursion Schemes & Pushdown Automata : 10-12 mars 2010 — Paris, France. Co-organisateur
• SOFSEM 2010: 23-29 janvier 2010 — Špindlerův Mlýn, République Tchèque. Membre du PC.
• GASICS 2009: 28 juin 2009 — Grenoble, France. Membre du PC.
• GaLoP 2009 28-29 mars 2009 — York, UK. Membre du PC.

Projets

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