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.
The talk will be in French but the slides in English.
It will be followed by a little gathering in salle passerelle.
aurore \dot alcolei \at ens-lyon \dot org
- PhD defense - Thursday 17th October, 5pm -
amphi B (ENS of Lyon)
Enriched concurrent games: witnesses for proofs and resource analysis .
[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)