| Home | Research | Teaching | Contact | CV |
Welcome to my research webpage!
I am a PhD student under the supervision of Pierre Clairambault (LIS, team LIRICA) and Lionel Vaux Auclair (I2M, team LDP), at Aix-Marseille Université.
I am interested in programming semantics; in particular, I am currently working on the links between game semantics and Taylor expansions of lambda-terms.