| 13 Fev 2026 | J’ai eu ma thèse le 6 Novembre 2025! ₍₍⚞(˶˃ ꒳ ˂˶)⚟⁾⁾ Je voudrais encore remercier mes parents de thèses, Laurent et Thomas, ainsi que mon super Jury! |
| 13 Fev 2026 | Mon papier avec Marie Kerjean et Morgan Rogers dénommé “Functorial Models of Differential Linear Logic” a été accepté à FSCD2025! ⸜(｡˃ ᵕ ˂ )⸝♡  Si le sujet vous intéresse, je vous recommande vivement de lire: A Tangent on Categorical Models of DiLL par Jad Koleilat qui est un travail brillant et améliore grandement ce que nous avions commencé! |
| 25 Oct 2024 | Mon premier papier, avec Paolo Pistone intitulé “The Lambda Calculus can be Quantified” (le Lambda Calcul peut être Quantifié) viens d’être accepté à CSL 2025! ♪┏(・o･)┛♪┗ ( ･o･) ┓♪ |