Fabio De Martin Polo
Fabio De Martin Polo
PhD in Philosophy
PhD in Philosophy
Embedded Files
NEWS!
NEWS!
My abstract, Termination, Countermodels, and Complexity in Bilateral Labeled Sequent Calculi, has been accepted for presentation at the CGL&BL 2026.
🎉 I am among the winners of the Young Researchers 2025 call of the Cariplo Foundation and will receive €200.000,00 in funding for a three-year research project titled The Philosophy of Proof-Theoretic Practice: Towards the Practical and Social Turn in the Epistemology of Proofs and Proving Activities.
About me
About me
I am currently employed at the Institute of Computer Science of the Czech Academy of Sciences (Prague), working on the TRUST project within the LogICS group.
I am currently employed at the Institute of Computer Science of the Czech Academy of Sciences (Prague), working on the TRUST project within the LogICS group.
In July 2019, I obtained a Master degree in Philosophy from the Ca' Foscari University of Venice.
In July 2019, I obtained a Master degree in Philosophy from the Ca' Foscari University of Venice.
From 2019 to 2023, I have been a PhD student in the Department of Philosophy I at the Ruhr University Bochum, and part of the Logic in Bochum group.
From 2019 to 2023, I have been a PhD student in the Department of Philosophy I at the Ruhr University Bochum, and part of the Logic in Bochum group.
Research interests
Research interests
I am interested in philosophical logic (especially proof theory, non-classical logics, relational semantics), philosophy of logic and mathematics (e.g., inferentialism, practice-based approaches, social and educational aspects), epistemology (e.g., the nature of proofs, mathematical and logical knowledge and explanation), and history of logic (e.g., theories of modalities and conditionals, logical communities, medieval logic). In relation to these areas, I have recently developed an interest in the philosophy of mathematical practice.
I am interested in philosophical logic (especially proof theory, non-classical logics, relational semantics), philosophy of logic and mathematics (e.g., inferentialism, practice-based approaches, social and educational aspects), epistemology (e.g., the nature of proofs, mathematical and logical knowledge and explanation), and history of logic (e.g., theories of modalities and conditionals, logical communities, medieval logic). In relation to these areas, I have recently developed an interest in the philosophy of mathematical practice.
Alongside my research interests, I occasionally like to explore topics such as philosophy of religion, literature, gender studies, and 20th-century Italian philosophy — a legacy from my early days in philosophy.
Alongside my research interests, I occasionally like to explore topics such as philosophy of religion, literature, gender studies, and 20th-century Italian philosophy — a legacy from my early days in philosophy.
Page updated
Google Sites
Report abuse