Aurore Alcolei - Research

Home

Research

Teaching

Médiation

Contact

CV (fr)

Key words: game semantics, parallel programming, proof theory, linear logics, category theory.

Publications

• The exponential logic of sequentialization. [pdf] [slides]
  with Luc Pellissier and Alexis Saurin.
• Resource-Tracking Concurrent Games. FOSSACS19 [pdf] [slides]
  with Pierre Clairambault, Olivier Laurent and Glynn Winskel.
• The true concurrency of Herbrand's theorem. CSL18. [pdf] [slides]
  with Pierre Clairambault, Martin Hyland and Glynn Winskel.
• On the flora of asynchronous locally non-monotonic Boolean automata networks . SASB15 workshop. [pdf] [slides]
  with Kévin Perrot and Sylvain Sené.

Talks

• The exponential logic of sequentialization. FOSSACS19, TLLA23 (FSCD23 workhop), Scalp meeting 2023. [slides]
• Resource tracking concurrent games . GS25 (FLOC18 workshop), CHoCola, I2M, DIAPASoN and LoVe seminars. [slides]
• An interpretation of Herbrand's theorem through concurrent games. GALOP17 (ETAPS workshop), SD17 (FSCD workshop), LAMA, PPS and LACL seminars. [slides]
• An introduction to (algorithmic) game semantics for programming languages. LSD and LIP PhD seminars. [slides]

Thesis

• Enriched concurrent games: witnesses for proofs and resource analysis. [pdf] [slides]
  supervised by Pierre Clairambault, Olivier Laurent and Glynn Winskel.

Grad reports

• Impact de la non-monotonie locale dans les RAB asynchrones, supervised by Kévin Perrot and Sylvain Sené. [report] [slides]
• Concurrent program as proofs: compacting message passing logic, supervised by Robin Cockett. [report] [slides]
• Sémantique 2-catégorique des langages de programmation, supervised by Tom Hirschowitz. [report] [slides]