| Jul 16, 2025 | Our paper “Positive Sharing and Abstract Machines” (with Beniamino Accattoli and Claudio Sacerdoti Coen) has been accepted at APLAS 2025. |
| Jan 16, 2025 | I gave a talk at LoCal seminar @ LIPN, Université Sorbonne Paris Nord. Slides. |
| Dec 13, 2024 | I defended my PhD thesis “Proof theory, syntactic representations, logic, and sharing” on December 13th 2024! Check out my thesis here. |
| Nov 09, 2024 | I visited the Institute of Information Science, Academia Sinica, Taiwan and gave a talk on focusing and polarization there. Slides. |
| Jun 21, 2024 | I gave a talk at MFPS 2024 @ University of Oxford, UK. Slides and Video. |
| Jun 13, 2024 | I gave a talk at Proofs and Algorithms Seminar @ LIX, Ecole Polytechnique & Inria Saclay. Slides. |
| May 04, 2024 | Our paper “Positive Focusing is Directly Useful” (with Beniamino Accattoli) has been accepted at MFPS 2024. |
| Jan 18, 2024 | I gave a talk at Syntax Meets Semantics @ IRIF, Paris, France. Slides. |
| Nov 27, 2023 | I gave a talk on my recent paper “Proofs as Terms, Terms as Graphs” at APLAS 2023 @ Academia Sinica, Taipei, Taiwan. Slides. |
| Aug 01, 2022 | I gave the talk “A positive perspective on term representation: work in progress” at LFMTP 2022, Haifa, Israel. Slides. |
| Jun 27, 2022 | I gave the talk “A positive perspective on term representation” at Proofs and Algorithms seminar, LIX/Inria Saclay (online). Slides. |
| Oct 01, 2021 | I joined the PARTOUT team at Inria Saclay as a PhD student. |