Since November 2025, I am a postdoc at the Carl Friedrich von Weizsäcker Centre of the University of Tübingen. Before that, I was a postdoc at Ruhr University Bochum, as a member of Heinrich Wansing's ERC Advanced Grant project Contradictory Logics: A Radical Challenge to Logical Orthodoxy. 

I defended my PhD Formalizing Ideals of Proof: Purity, Explanation and Semantic Pollution in June 2025. It was hosted by the Department of Theoretical Philosophy of Utrecht University, as part of the NWO-funded Vici project "Optimal Proofs" led by Rosalie Iemhoff, and co-supervised by Luca Incurvati (ILLC). 

I am interested in the philosophy of logic and mathematics (ideals of proof, foundations of mathematics, structuralism, pluralism), proof theory (proof translations, generalizations of the sequent calculus, proof-theoretic semantics), and using formal methods to make intuitive concepts precise. 

I completed the Master of Logic and a bachelor's in neuroscience at the University of Amsterdam. For up-to-date information about publications and teaching, see robinmartinot.nl.