Research-oriented Master degree of Computer science, ENS Rennes, France.
Bachelor of Computer science, ISTIC, ENS Rennes, France.
Scientific baccalauréat, High school Lycée Sévigné, France.
Research experience
2021-now 6-month internship in the Celtique team, supervised by Thomas Genet and Thomas Jensen, ``Verifying functional programs with regular relations'', Irisa, Rennes, France
2020 BIBL module, which was a preparation for the M2 internship in the Celtique team, supervised by Thomas Genet, ``Verifying functional programs with regular relations'', Report link here , Presentation link here , Irisa, Rennes, France
2020 10-week internship in the Knowledge Processing and Information Systems team, supervised by Torsten Schaub and François Laferriere, ``The use of automata for integrity-constraints checking in temporal Answer Set Programming'', Presentation link here, Potsdam, Germany
2019 Project alongside the courses, supervised by Olivier Ridoux, “Robust semantic elevation on an ocerisation of the journal "La Nature"”, Rennes, France
2018 Two-month internship in the research team LOGICA, supervised by Tristan Charrier, “The use of Dynamic Epistemic Logic for searching bounded strategy in games with imperfect information”, Report link here, Irisa, Rennes, France
2017 Two-month internship in the research team LACODAM, supervised by Élisa Fromont, “Study and use of YOLO technology for real-time video tracking”, Irisa, Rennes, France
