Publication and talk.
- Osiris: an Iris-based program logic for OCaml.
By A. Daby-Seesaram, F. Pottier, A. Guéneau.
In OCaml Workshop 2023. Code. - Modular Verification of State-Based CRDTs in Separation Logic
By A. Nieto, A. Daby-Seesaram, L. Gondelman, A. Timany, L. Birkedal.
In ECOOP 2023. Code. Preprint.
Experiences.
2023—24 | Year-long internship at SystemF (EPFL) under the supervision of C. Pit-Claudel. |
2022—23 | M2 of the MPRI - ENS Paris Saclay and Université Paris Cité (summa cum laude). |
2021—22 | M1 of the MPRI - ENS Paris Saclay (magna cum laude). |
2020—21 | Bachelor of Computer Science - ENS Paris Saclay (summa cum laude). |
2018—20 | MPSI et PSI* - Lycée Hoche, Versailles. |