Emma Nardino, Ludovic Henrio, Gabriel Radanne, Yannick Zakowski
Draft
Emma Nardino
(elle | she/her)
(elle | she/her)
office: M7.304
email:
(fun
x y =>
x . y @ens-lyon.fr)
emma nardino
I am a PhD student in the CASH team at LIP (ENS de Lyon, FRANCE), under the supervision of Yannick Zakowski and Ludovic Henrio.
I am interested in the semantics of functional, concurrent programming
languages. More specifically, in developing proof technics and meta-results to reason about
compiler optimisations in the async/await model of concurrent programming (with
futures, promises...), especially in a mechanised setting, in
The Rocq Prover.
Sometimes I make music—some of which can be found online—, and film photography—none of which can be found online (at the moment).