Thèse
Ma thèse porte sur les systèmes déductifs sans coupure et les modèles de Kripke pour la logique continue intuitionniste.
Doctorant en logique continue
Logique continue
et théorie de la démonstration.
Mes travaux ont porté sur la logique continue intuitionniste et la théorie de la démonstration, et se dirigent vers des questions de dualité liées aux C*-algèbres.
Recherche
Recherche
en logique continue.
Logique continue
Logique à valeurs continues,
adaptée à l’étude de structures
métriques.
adaptée à l’étude de structures
métriques.
Théorie de la démonstration
Systèmes déductifs et élimination des coupures.
Modèles de Kripke
Sémantique des logiques intuitionnistes.
Prépublication
30 octobre 2025 · arXiv:2510.26849
Cut-free Deductive System for Continuous Intuitionistic Logic
Voir sur arXivProjets de recherche
Travaux en cours
et projets connexes.
01Thèse · 2023-2026
Logique continue intuitionniste
Étude de systèmes déductifs et de modèles de Kripke pour la logique continue intuitionniste, avec des résultats de complétude et d’admissibilité des coupures.
02Projet
Dualité de Gelfand non commutative
Étude des espaces d’états, des représentations, de la construction GNS et des projections ouvertes pour les C*-algèbres unitaires.
03Projet
Théorie de la démonstration
Réflexion sur une formulation algébrique générale des notions de théorie, de démontrabilité, de système déductif et de modèle.
Enseignement et conférences
Enseignement
et conférences.
TD & TP
Algèbre 1 · Analyse 1 · Probabilités · Analyse 2
TD
Algèbre 1 · Mathématiques 4
Khôlles, TD & TP
Analyse 2 pour informaticiens · Probabilités discrètes · Mathématiques 4 · Cursus prépa Polytech Lyon
Conférences données
20 ans de l’Institut Camille JordanConférence
TACL 2026Conférence
Parcours
Une trajectoire
entre sciences et philosophie.
Physique
Mathématiques
Philosophie
Depuis 2023
Doctorat
Systèmes déductifs sans coupure et modèles de Kripke pour la logique continue intuitionniste
Université Claude Bernard Lyon 1
Direction : Itaï Ben Yaacov et Yoann Dabrowski
2022 — 2023
M2
Histoire et philosophie des sciences
Université Paris-Cité
2021 — 2022
M2
Mathématiques fondamentales
Université Paris-Cité
2020 — 2021
M2
Jacques Hadamard
Université Paris-Saclay
Cours de physique théorique suivis à l’ENS Ulm
2019 — 2020
M1 · Jacques Hadamard
Jacques Hadamard
Université Paris-Saclay
L3 de Physique fondamentale suivie parallèlement
2018 — 2019
L3
Mathématiques fondamentales
Université Paris-Sud
Contact
Pour me joindre
au sujet de mes travaux.
Vous pouvez utiliser cette adresse pour toute question concernant mes travaux de recherche ou mes enseignements.