Mary Leng

Mary Leng is a Professor in the Department of Philosophy at the University of York and participates in the Interuniversity Doctorate in Logic and Philosophy of Science coordinated by the University of Salamanca.

Her research centers on foundational questions at the intersection of mathematics and philosophy, with emphasis on:

• Mathematical explanation and ontology
• Analysis of applied mathematics
• Structure of mathematical proofs
• Philosophical implications of mathematical practice

She supervises doctoral candidates in specialized programs spanning multiple institutions, focusing on rigorous theoretical frameworks in mathematical philosophy.

Supervised doctoral students include:

• Navia Rivas de Castro
• Alejandro Gracia di Rienzo

Their work includes the defended thesis "Mathematical explanation and ontology: an analysis of applied mathematics and mathematical proofs". No scientific awards were documented in the source material.