Email

This email address is being protected from spambots. You need JavaScript enabled to view it.

Employment
- Postdoctoral Researcher, Institute of Philosophy, Czech Academy of Sciences (Aug. 2023 – present)

Education
- PhD in Philosophy, Scuola Normale Superiore, Pisa (Nov. 2018 – Nov. 2023)
- MA in Logic and Philosophy, University of Siena (Oct. 2014 – Jul. 2017)

Research Interests
- Intuitionistic Type Theory
- Philosophy of Mathematics (esp. Predicativity)
- Constructive Mathematics

Selected Publications
- 2025. "On the Compatibility of Constructive Predicative Mathematics with Weyl's Classical Predicativity."
With M.E. Maietti. In L. Crosilla, Ø. Linnebo & M. Rathjen (eds.), *Pillars of Enduring Strength: Learning from Hermann Weyl*. Oxford University Press (forthcoming).

- 2024. "A Neglected Interpretation of *Das Kontinuum*." *History & Philosophy of Logic*, 46(3).

- 2023. "The Compatibility of the Minimalist Foundation with Homotopy Type Theory."
With M.E. Maietti. *Theoretical Computer Science*, 991, 114421.

- 2020. "Overlap Algebras: A Constructive Look at Complete Boolean Algebras."
With F. Ciraulo. *Logical Methods in Computer Science*, 16(1).