Arnaud Daby-Seesaram

Publication and talk.

Education.

2023—2024

Year-long internship at SystemF (EPFL) under the supervision of C. Pit-Claudel

Title
Relational Compilation from Gallina to Clight.

2022—2023

M2 of the MPRI - ENS Paris Saclay and Université Paris Cité (summa cum laude).

2021—2022

M1 of the MPRI - ENS Paris Saclay (magna cum laude).

2020—2021

Bachelor of Computer Science - ENS Paris Saclay (summa cum laude).

2018—2020

MPSI et PSI* - Lycée Hoche, Versailles.