Progress presentation
Talk at Team's Green Seminar, Provins, France
CV
Education
- 2022-Now PhD thesis in Computer Science, Université Sorbonne Paris Nord, Villetaneuse
- 2018-2022 Master’s Degree, ENS’s cursus, ENS Paris-Saclay, Cachan
- 2021-2022 Master’s degree in Philosophy of sciences, LOPHISC, Université Panthéon-Sorbonne, Paris
- 2019-2021 Master’s degree in Computer Science, MPRI, Université Paris-Cité, Paris
- 2018-2019 Undergraduate, ENS Paris-Saclay, Cachan
2016-2018 Preparatory classes - Lycée Cézanne, Aix-en-provence
TeX version (french)
Publications
Talks
Characterizing complexity classes with boolean theories extensions
Talk at SCALP 2023, Orléans, France
Characterizing complexity classes with categorical logic
Talk at Complexity Days 2023, Paris, France
An introduction to descriptive complexity
Talk at Institut d'histoire et de philosophie des sciences et des techniques, Paris, France