I am a PhD candidate within the NWO Vici project 'Optimal Proofs', under supervision of Rosalie Iemhoff (UU) and co-supervised by Luca Incurvati (UvA, ILLC). The project develops methods to determine the optimal proof systems for a given logic. My research focuses on the philosophical side of the project, and concerns the formalization of forms of reasoning in proof systems.
I completed the Master of Logic and a bachelor in neuroscience at the University of Amsterdam.
See also: https://www.robinmartinot.nl/