Computer science student at ENS Paris-Saclay
2022-2023: Seoul National University, Software Fundations Lab, supervised by Chung-Kil Hur
Title: Adapting Conditional Context Refinement to real world programs.
2022: ENS Lyon, LIP, PLUME team, supervised by Russ Harmer & Damien Pous
Title: Coq formalization of the concurrency theorem in graph transformation via diagrammatic reasoning in quasi-topoi. The report and the related git repository.
2021: university of Strathclyde, Glasgow, supervised by Robert Atkey
Title: Expressivity of BCI algebras. The report and the related git repository. Note: this report contains mistakes about reversibility, and the Coq implementation is not perfect.
2020: ENS Lyon, LIP, MC2 team, supervised by Omar Fawzi
Title: Multiple access channels with non-signaling resources. The report (in French)
CS Unplugged activity about Eulerian paths, aimed at upper secondary students.
The activity sheet (in French)
Platformer game in Python
Part of an introduction course on software engineering. The git repository
Introduction to research in CPGE
Comparison between heuristics for the A* algorithm. The report (in French)