I am a PhD student under the supervision of Thibaut Benjamin, Meven Lennon-Bertand and Sam van Gool at the Laboratoire Méthode Formelles (LMF) in Université Paris-Saclay since October 2026.

I study how to handle coercions in depently typed languages using categorical approaches in the continuity of AdapTT.

Publications

Teaching

I teach C at IUT Cachan.