I am currently taking a one-year break in my computer science studies
to pursue a bachelor in physics at ENS Cachan, before starting
my PhD in computer science.
I am particularly interested in programming language theory, type
systems and proof theory. Moreover, I am very fond of programming,
especially in Ocaml.
I am also very curious and like to
learn about various domains such as biology, cognitive science or
Here is my resume.
(2017) First place winner at the ACM Student Research Competition Grand Final
for a paper about Gradual Set-Theoretic Types.
(2017) First place winner at the Student Research Competition (SRC) at
POPL 2017, in the "Undergraduate" category, for a presentation
about Gradual Set-Theoretic Types.
(2014) L3 internship about abstract interpretation applied to biological
networks. This internship took place at the LIFL in France and was
supervised by Joachim Niehren and Cristian Versari :
report (in French)
(2015) M1 internship about the verification of pointers programs, and a
comparison of several approaches. This internship took place at the
RWTH Aachen University in Germany under the supervision of
Christina Jansen, Joost-Pieter Katoen, Christoph Matheja and Thomas
(2016) M2 internship about the application of gradual typing to
set-theoretic types. This internship took place at IRIF in France
under the supervision of Giuseppe Castagna.
(2017) L3 internship about a numerical study of TNOs (Trans-Neptunian Objects).
This internship took place at the IMCCE in Paris, France, under the
supervision of Nicolas Rambaux.
The github of a multimedia
library based on OpenGL and developped in OCaml.
The github of the
software engineering project (M1 course) in OCaml.
Reports (in french)
for several exercises given in the Computational Physics course at