Adrien Ragot

Since october 2022, I am PhD student in Computer Science and Mathematics, doing a joint PhD--project between the Laboratoire d'informatique de Paris Nord (LIPN) of Université Paris 13 and the Dipartimento di Matematica e Fisica of Universitá degli studi Roma tre.
I am supervised by Stefano Guerrini, Thomas Seiller, and Lorenzo Tortora de Falco.
I am funded by the Université Franco-Italienne/ Universitá Italo-Francese.

Before that, from november 2020 to october 2021, I was a Doctoral Researcher in the SaToSS research group at the University of Luxembourg, where I was supervised by Sjouke Mauw and Matteo Acclavio.

I received a double master degree in october 2020 in Mathematics from Université Aix-Marseille and Universitá degli Studi Roma tre via the Binational Curriculum in Logic.
I received a Bachelor degree in June 2018 in Mathematics from Université de Tours.

Communications in Workshops

• Linear Realisability over nets and second order quantification, Accepted communication in the 24th Italian Conference in Theoretical Computer Science (ICTCS2023). Palermo, Italy, Sept. 2023. [pdf]
• Linear Realisability over nets and second order quantification, Accepted communication in the 7th edition of Trends in Linear Logic and Applications (TLLA2023). Roma, Italy, July. 2023. [pdf]

Talks in Workshops or conferences

• Correctness of Second Order Multiplicative Linear Logic, Contributed Talk at the Meeting of "Associazione Italiana di Logica e sue Applicazioni" (AILA XXVIII). Udine, Italy, Sept. 2024. [pdf]
• Realisability: from constructive proofs to program specification, Presentation at the junior seminar Roma Tre (seminar of phd students). Roma, Italy, Apr. 2024. [pdf]
• Untyped nets and second order quantifiers, Presentation at the PACMAN workshop. Verona, Italy, Mar. 2024. [pdf]
• An algebraic structure for Linear Realisability, Presentation at the Journées GT Scalp 2023. Orléans, France, Nov. 2023. [pdf]
• Linear Realisability over nets and second order quantification, Presentation of the Accepted communication in the 24th Italian Conference in Theoretical Computer Science (ICTCS2023). Palermo, Italy, Sept. 2023. [pdf]
• Linear Realisability over nets and second order quantification, Presentation of the Accepted communication in the 7th edition of Trends in Linear Logic and Applications (TLLA2023). Roma, Italy, July. 2023. [pdf]

Notes

• Categories of Games, Nov. 2022. [pdf]
• Unification and Interaction: Interaction nets and Stellar Resolution, May 2022. [pdf]
• Membrane Computing and Combinatory Logic, feb. 2022 (section 4). [pdf]
• Models of computation and deductive systems: the λμ-calculus and Classical logic, dec. 2021. [pdf]

Master's thesis

• Correctness as good Interactive Behavior, 2020.
  Supervised by Lorenzo Tortora de Falco. [pdf] [slides] [slidesOld]
• Learnability can be undecidable, 2019. (In French).
  Supervised by Myriam Quatrini and Pierre Pudlo. [pdf] [slides]