Post-doctoral researcher at Università di Bologna, in Ugo Dal Lago's group, since November 2025.
Previously:
- Postdoc at IRIF (Paris), in Alexis Saurin's project RECIPROG.
- PhD student in Mathematics at Aix-Marseille University, in the Logics of Programming team of I2M, supervised by Lionel Vaux Auclair and Laurent Regnier. I defended my thesis in June 2024.
My research interests are mainly in theoretical computer science, at the interface of mathematical logic and the theory of programming. I am (or have been) working on: program approximation, program semantics, λ-calculus, coinduction, stream programming, infinitary rewriting and its topological dynamics, nominal syntax, logics with fixed points and non-wellfounded proofs, higher-order automata. See more details on the dedicated page.
Contact information
- Office
- Hidden unnamed office, sede di via Ranzani 14 del Dipartimento di Informatica – Scienza e Ingegneria, Università di Bologna
- Remy dot Cerda at math dot cnrs dot fr
- Clé publique PGP
- PGP public key
Some links
- The theorists' seminar in Bologna.
- I've been organising a conference celebrating 20 years of differential λ-calculus and differential linear logic. The videos of the talks are online.
- Publication standards in Computer science produce poorly written research and are detrimental to scientific interactions. It is high time we grow up.
- Erik D. Demaine Martin L. Demaine , “Every Author as First Author”, Proceedings of SIGTBD (SIGTBD 2023).