Courses
These are courses I took in the Logos Master. These categories are only indicative, as many of them naturally span several areas.
● Logic, mathematics & computer science ● Linguistics ● Philosophy
Master LOGOS – M2 (2025–2026)
- ● Proof theory (Alexis Saurin, Dominik Kirst)
- ● Functional programming and formal proof in Coq (Pierre Letouzey, Julien Narboux)
- ● Artificial Intelligence and Game Theory (Ahmed Bouajjani)
- ● Computational Language Modeling and Cognition (Benoît Crabbé)
- ● History of linguistic theories (Otto Zwartjes)
- ● Epistemology (Brice Halimi, Nadine De Courtenay, Justin Smith-Ruiu)
Master LOGOS – M1 (2024–2025)
- ● Logic and set theory (Antoine Chambert-Loir, Tomás Ibarlucía)
- ● Fundamental Statistics (Simon Coste)
- ● Exploratory data analysis (Stéphane Boucheron)
- ● Algorithmic (Bertrand Gentou, Hervé Fournier)
- ● Information theory (Pascal Molin)
- ● Syntax (Caterina Donati)
- ● Computational semantics (Timothée Bernard)
- ● Theory and practice of large language models (Guillaume Wisniewski)
- ● Philosophy of science (Brice Halimi)
- ● Philosophy of mathematics (Brice Halimi)