Après des études de mathématiques et de philosophie, un doctorat d’histoire et de philosophie des mathématiques à l’université Paris 1 Panthéon-Sorbonne, puis des post-docs à l’université McGill (Montréal) et aux Archives Henri-Poincaré (Nancy), je suis actuellement chercheur contractuel à l’École Normale Supérieure (ITEM, équipe Manuscrits Scientifiques) dans le cadre du projet Émergence(s) « Brouillons mathématiques » dirigé par Emmylou Haffner. Je suis également chercheur invité dans le groupe d’histoire des mathématiques de l’université de St Andrews.

Recherche

1. Signs as a Theme in the Philosophy of Mathematical Practice (version préliminaire du 13 avril 2023, à paraître dans le Handbook of the History and Philosophy of Mathematical Practice, Bharath Sriraman, éd.).
2. Informational equivalence but computational differences? Herbert Simon on representations in scientific practice, Minds and Machines, 2023. (doi, AAM)
3. Are Larger Studies Always Better? Sample Size and Data Pooling Effects in Research Communities (avec Cyrille Imbert). PSA 2022.
4. John Venn’s Pluralism Regarding Logical Forms (avec Dirk Schlimm), à paraître en 2023.
5. Are Euclid’s Diagrams ‘Representations’? On an argument by Ken Manders. Maria Zack and Dirk Schlimm (éds.), Research in History and Philosophy of Mathematics. The CSHPM 2019-2020 Volume, Birkhäuser, 2022. (doi, AAM)
6. Calculus as Method or Calculus as Rules? Boole and Frege on the aims of a logical calculus (avec Dirk Schlimm). Synthese, 2021. (doi)
7. Multiple Readability in Principle and Practice (avec Dirk Schlimm). Logique et analyse 251:231–260, 2020. (doi)
8. Le rôle des notations dans la découverte de l’analogie des puissances et des différences de Leibniz. À paraître, C. Martinez-Adame et V. Jullien (éds.), Trois rencontres franco-mexicaines en histoire et philosophie des sciences [titre à confirmer], 2023.
9. Rigor and the Context-Dependence of Diagrams: The Case of Euler Diagrams. P. Chapman, G. Stapleton, A. Moktefi, S. Perez-Kriz and F. Bellucci (eds.), Diagrammatic Representation and Inference, Springer, 2018, 382–389.

Les représentations en mathématiques. Thèse de doctorat soutenue le 16 déc. 2018. (Version corrigée.)

Articles d’exposition et comptes-rendus

1. Review of New Light on George Boole, by D. MacHale and Y. Cohen. Historia Mathematica 51:91–93, 2020.
2. A conversation with Sun-Joo Shin. APhEx 17, 2018.

Quelques vieux textes d’exposition, pour le cas où ils pourraient servir:
RCA₀ et l’analyse calculable. Quelques pages sur les liens entre RCA₀ et l’analyse calculable (2013).
Opérades et complexes de graphe. D’après Kontsevich (mémoire de master, 2012).
Cochains. Sur l’homotopie rationnelle, d’après Quillen and Sullivan (mémoire de master, 2011).
Calculabilité en analyse. Quadrature 72:36–40, 2009.

Enseignement

Documents de cours (accès restreint) : en 2022-2023, j’assure les cours de Logique (L3 S6) et de Complétude et indécidabilité (M1 S2) à l’université Paris 1 Panthéon-Sorbonne.