| 13 Feb 2026 | I got my PhD on the 6th of November 2025! ₍₍⚞(˶˃ ꒳ ˂˶)⚟⁾⁾ I would like to thank again my advisors Laurent and Thomas, and the Jury as well! |
| 13 Feb 2026 | My paper with Marie Kerjean and Morgan Rogers entitled “Functorial Models of Differential Linear Logic” got accepted at FSCD2025! ⸜(｡˃ ᵕ ˂ )⸝♡  I would invite anybody interested in reading A Tangent on Categorical Models of DiLL by Jad Koleilat which is a brilliant improvement over what we started! |
| 25 Oct 2024 | My paper with Paolo Pistone entitled “The Lambda Calculus can be Quantified” just got accepted at CSL 2025! ♪┏(・o･)┛♪┗ ( ･o･) ┓♪ |