Je suis post-doc à l'IRIF, à Paris.
Je travaille au sein du projet RECIPROG conduit par Alexis Saurin.
I'm a post-doctoral researcher at IRIF, in Paris.
I'm working in the project RECIPROG led by Alexis Saurin.
Précédemment, j'étais doctorant en mathématiques à l'université d'Aix-Marseille, au sein de l'équipe Logique de la programmation de l'I2M. Mes directeurs de thèse étaient Lionel Vaux Auclair et Laurent Regnier.
Previously, I was a PhD student in Mathematics at Aix-Marseille University, in the Logics of Programming team of I2M. My supervisors were Lionel Vaux Auclair and Laurent Regnier.
En recherche, je m'intéresse principalement à des questions d'informatique théorique, à l'interface entre la logique mathématique et la théorie de la programmation. J'ai travaillé (ou travaille actuellement) sur : l'approximation de programmes, la sémantique des langages de programmation, le λ-calcul, la coinduction, la réécriture infinitaire, la dynamique topologique de la précédente, la syntaxe nominale, les logiques avec points fixes, les automates d'ordre supérieur. Plus de détails sur la page dédiée.
My research interests are mainly in Theoretical Computer science, at the interface of mathematical logic and the theory of programming. I have been (or am currently) working on: program approximation, program semantics, λ-calculus, coinduction, infinitary rewriting and its topological dynamics, nominal syntax, logics with fixed points, higher-order automata. See more details on the dedicated page.
Nouvelles News
- Fév. 2025
- Feb. 2025
- Notre article « How To Play The Accordion » (avec Lionel Vaux Auclair), autour de la conversativité de l'approximation de Taylor du λ-calcul, a paru dans les actes de STACS 2025.
- Our paper “How To Play The Accordion” (with Lionel Vaux Auclair), about conservativity properties for the Taylor approximation of the λ-calculus, just appeared in the proceedings of STACS 2025.
- Oct. 2024
- Le 1er octobre, je commence un post-doc à l'IRIF, avec Alexis Saurin au sein du projet RECIPROG.
- On Oct. 1st, I start a post-doc at IRIF, in Alexis Saurin's project RECIPROG.
- Juin 2024
- June 2024
- Ma soutenance de thèse a lieu le 10 juin. Voir mon manuscrit, intitulé Taylor expansion and Infinitary λ-calculi, et les diapos de la soutenance.
- My PhD defence takes place on June 10th. See the manuscript, entitled Taylor expansion and Infinitary λ-calculi, and the slides of the defence.
- Mai 2024
- May 2024
- J'ai co-organisé une conférence pour les 20 ans de la logique linéaire diférentielle et du λ-calcul différentiel. Les vidéos des exposés sont en ligne !
- We've been organising a conference celebrating 20 years of differential λ-calculus and differential linear logic. The videos of the talks are now online!
Voir aussi une liste d'exposés récents avec leurs diapos.
See also a list of recent talks with their slides.
Coordonnées Contact information
- Bureau
- Office
-
Bâtiment Sophie Germain,
3e étage, bureau 3057
8 place Aurélie Nemours, Paris (13e) -
Sophie Germain building,
3rd floor, office 3057
8 place Aurélie Nemours, Paris (13e) - remy dot cerda at math dot cnrs dot fr
- Clé publique PGP
- PGP public key
Et aussi And also
-
TCS4F : engagement pour une recherche durable en informatique théorique.
Également, 643 mathématicien⋅nes français⋅es s'engagent à réduire le recours à l'avion et appellent leurs tutelles à l'action. -
TCS4F: a pledge for sustainable research in theoretical computer science.
Also, 643 French mathematicians commit to reducing air travel and call on their authorities to take action. - Les standards de publication en informatique produisent de la recherche mal écrite et nuisent aux interactions scientifiques. Il serait temps de grandir.
- 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).
- J'utilise la notation de Krivine.
- I use the Krivine notation.