Aurore Alcolei leaf

Post-doc, EPICURE team of INRIA Rennes , UMR IRISA


Home Research Teaching Médiation Contact CV (fr)

Welcome to my research webpage, an easy access to some of my work-related documents.

Resume (Longer version in French)

Since october 2023, I have joined the Back to the Trees action exploratoire led by Simon Castellan. Using tools from promming language theory, we investigate how morphologogical data about plants can be formalised in order to provide a convivial tool that automatically generate determination keys that can be adapted to the local flora and the public observing it.

In parallel, I am pursuing research on interactive semantics for proofs and programs, specially using concurrent game models.

In particular, following up on my previous post-doc at the LACL (computer laboratory of the UPEC University), I am collaborating with Luc Pellissier and Alexis Saurin to provide a parallel syntax and interactive semantics for proof search.

Previously I worked at the University of Bologna within the DIAPASoN ERC project directed by Ugo Dal Lago. My topics was on differential program semantics based on game models.

I did my PhD in between the LIP laboratory (Plume team) at ENS of Lyon, and the Computer Laboratory at the University of Cambridge, under the supervision of Pierre Clairambault, Olivier Laurent and Glynn Winskel. I mostly focused on extensions of concurrent game models based on event structures with metadata annotations, and their application to programming language and logics.

Since 2016 I have been teaching in every place I worked. I also took part in some popularization events.

I was member of the PC of MPC22 and GALOP24.

Contact

Email: aurore \dot alcolei \at ens-lyon \dot org
My GPG public key, fingerprint: 480A 2FC0 D184 B2D7 3937 E65E 3326 6677 F97B 5D68.

Reach me:
Bureau F211, EPICURE
Centre Inria de l'Université de Rennes
Avenue du Général Leclerc
35042 Rennes Cedex