Education

• On the 2021-2022 school year I studied at the MPRI (Master Parisien de Recherche en Informatique).
• From 2018 to 2022 I studied computer science at the ENS Rennes.
• From 2015 to 2018 I studied in a french CPGE (a kind of intensive school designed to prepare contests) in Lycée Bellevue in Toulouse.
• From 2012 to 2015 I was in high school in Lycée Victor Hugo in Colomier.

Research and Teaching

• In 2019 and 2020 I collaborated with team Lacodam in Rennes on the subject of Skyline Querries. This has lead to a publication at IWOCA 2021. available here
• In summer 2019 I worked with team Lilac in Toulouse on the subject of "Epistemic Logic for IA in the context of games".
• Between 2013 and 2018 I tutored some high school students in mathematics.

Programming Languages

Main Languages

When I need to write code I almost often resort to the following languages : Python, Ocaml, and LaTEX.
I am aware that LaTEX is not a programing language per say, let's just say it is still code.

Previously used

I used the following languages several times each but never enough to consider myself proeficient with them : SQL, C, C++, Java, NuSMV, COQ, HTML, and CSS.

Human languages

I am fluent in French and in English. I have minimal school level notions of German and Spanish.