Lison Blondeau-Patissier

Accueil

Recherche

Enseignement

in english

Intérêts

Je suis intéressée par la sémantique dénotationelle, en particulier la sémantique des jeux. Pendant ma thèse, j'ai particulièrement étudié les jeux concurrents à pointeurs (PCG), un modèle de jeux développé pour étudier la structure causale des stratégies innocentes. Mon manuscrit de thèse (en anglais) est disponible [ici] et propose une introduction détaillée (et, idéalement, pédagogique) au modèle PCG ; ainsi qu'une présentation de ses liens avec le calcul à ressources.

J'espère continuer dans le futur à explorer les liens entre sémantique et syntaxe, et entre les différents modèles des langages de programmation -- et je serais ravie d'en discuter à l'occasion par mail ou irl !

Publications

Journal

• Strategies as Resource Terms, and Their Categorical Semantics
  Avec Pierre Clairambault et Lionel Vaux Auclair.
  Logical Methods in Computer Science, October 16, 2025, Volume 21, Issue 4.
  Version longue de Strategies as Resource Terms, and Their Categorical Semantics (FSCD 2023).

Conférences

• Resource Categories from Differential Categories
  Actes de conférence de JFLA 2024.
• Strategies as Resource Terms, and Their Categorical Semantics
  Avec Pierre Clairambault et Lionel Vaux Auclair.
  Actes de conférence de FSCD 2023.
• Positional Injectivity for Innocent Strategies
  Avec Pierre Clairambault.
  Actes de conférence de FSCD 2021.

Pré-prints

• Extensional Taylor Expansion
  Avec Pierre Clairambault et Lionel Vaux Auclair.
  Accepté pour publication dans TheoretiCS.

Manuscript de thèse

• Pointer Concurrent Games and the Ressource Calculus
  Directeurs de thèse : Pierre Clairambault et Lionel Vaux Auclair.
  Soutenue le 4 décembre 2025 (slides).

Exposés

• Resource categories from differential categories,
  JFLA [slides].
• Taylor Expansion is Game Semantics,
  GALOP [abstract] [slides].
• Strategies as Resource Terms, and Their Categorical Semantics,
  FSCD [slides]; Chocola; séminaire d'équipe LdP, LoVe et LIMD.
• Positional Injectivity for Innocent Strategies,
  FSCD [slides]; Journées 2021 du GT Scalp [slides]; séminaires d'équipes PPS, LdP et Plume.

Activités liées à la recherche

• Comité de programme de GALOP26.

Autres

• An Extensional Resource lambda-calculus and its Categorical Semantics. [pdf]
  Poster réalisé pour les Journées Nationales de l'Informatique Mathématique 2022 du GdR IM.