Emma Nardino

(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 programming languages, formalization and verification of concurrent programs. I formalize my work in the Rocq proof assistant (at least that's the plan).

• TD/TP: Théorie de la Programmation (L3IF)
• TD/TP: Compilers & Program Analysis (M1IF)

SOON™ (hopefully)

Sometimes I make music—some of which can be found online—, and film photography—none of which can be found online (at the moment).