(Ph.D., Stanford University). His interests lie in the philosophy of mathematics and its history, in philosophy of logic, and in mathematical logic. His written work is currently focused upon neologicism, the philosophy of mathematical practice, and mathematical infinity. He has recently published “Infini, logique, géométrie” (Vrin, Paris, 2015) (“Prix Jean Cavaillès 2018”), “Abstraction and Infinity” (Oxford University Press, 2017), “Moscow Has Ears Everywhere. New Investigations on Pasternak and Ivinskaya” (Hoover Press, Stanford, 2019), and, with S. Galvan and R. Zach, “An Introduction to Proof Theory. Normalization, Cut-Elimination, and Consistency Proofs”, (Oxford University Press, Oxford, 2021)”. He was recently awarded a Chaire d’excellence internationale Blaise Pascal.