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.

Évenement à venir

• Workshop on Higher-Order Recursion Schemes & Pushdown Automata : 10-12 mars 2010 — Paris, France. Co-organisateur
• Workshop on Games and Probabilistic Models in Formal Verification : 28 août 2010 — Brno, République Tchèque. Membre du PC.
• FOSSACS 2011: 26 mars-4 avril 2010 — Saarbrücken, Allemagne. Membre du PC.

Évenement passés

• 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.