Aurore Alcolei - Showcase
Welcome to my research webpage, an easy access to some of my work-related documents.
I am a PhD student part of the
team in the
laboratory at ENS
of Lyon. I am also doing an international joint supervision with
at the University of Cambridge.
My supervisors and co-supervisors are
Olivier Laurent and
My main computer science interests are in logics and programming semantics, mostly through games and types. Yet I remain curious about certification, automata and graph theory.
During my PhD, I am particularly focused on extensions of concurrent game semantics based on event structures with metadata annotations, and their application to programming language and logics.
aurore \dot alcolei \at ens-lyon \dot org
- Resource tracking concurrent games . GS25 (FLOC18 workshop).
Pierre Clairambault and
- An interpretation of Herbrand's theorem through concurrent games.
GALOP17 (ETAPS workshop), SD17 (FSCD workshop). [slides]
[GPG public key], fingerprint: 480A 2FC0 D184 B2D7 3937 E65E 3326 6677 F97B 5D68.
LIP, ENS Lyon, Site Monod
46 Allée d'Italie
69364 Lyon (France)