Short resume

This is a short summary of the keys points that would go on a paper resume.
If you want to read about my work, see my publication list or my github account

Research and Teaching

  • I am currently completing a PhD on symbolic knowledge representation and neurosymbolic reasoning.
  • In 2019 - 2020 I collaborated with team Lacodam in Rennes on the subject of Skyline Querries.
  • In summer 2019 I worked with team Lilac in Toulouse on the subject of "Epistemic Logic for IA in the context of games".

Education

  • Since November 2022 I am completing a PhD in computer science at Telecom Paris in the DIG team
  • From 2021 to 2022 I studied study computer science at the MPRI (Master Parisien de recherche en informatique).
  • From 2018 to 2022 I studied study computer science at the ENS Rennes (Ecole Normale SupĂ©rieure).

Languages

Main coding language

When I need to write code I almost always default to Python, with which I have grown conformtable.

Previously used coding languages

I used the following languages several times each but never enough to consider myself proeficient with them : SQL, C, C++, Java, OCaml, NuSMV, COQ, HTML, and CSS. I did write some published research code in Java.
On the subject of HTML and CSS, I realized the present website entirely by hand.

Human languages

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