Studies
Informatique Fondamentale stands for computer science foundations.
PhD (2022-, ENS de Lyon)
Graphs of bounded treewidth: algebraic and categorical approaches, supervised by Amina Doumane and Damien Pous.
PLR (2021-2022, ENS de Lyon)
- Internship: Axiomatization of the isomorphism of graphs of treewidth at most , supervised by Amina Doumane and Damien Pous;
- Internship: Kantorovich-Rubinstein duality, the return, supervised by Jurriaan Rot.
M2 Informatique Fondamentale (2019-2020, ENS de Lyon)
- Internship: Kantorovich-Rubinstein duality, an abstract categorical approach supervised by Daniela Petrisan.
M1 Informatique Fondamentale (2018-2019, ENS de Lyon)
- Internship: Codensity Bisimulations for Finite Weighted Automata supervised by Ichiro Hasuo.