Anne-Laure Schneider

Ancienne élève de l'École Normale Supérieure, je suis actuellement en thèse sous la direction de Dale Miller à l'INRIA Saclay - Île-de-France, dans l'équipe Parsifal. Si vous voulez en savoir plus, voici mon CV.

Je m'intéresse à la sémantique des jeux, en particulier en lien avec la logique focalisée, mais de manière plus générale à tout ce qui touche à la théorie de la démonstration (logique linéaire, ludique, démonstration automatique, géometrie de l'interaction,...).