My research is mainly in mathematical and philosophical logic, as well as in the philosophy of logic and of mathematics.
My PhD project is supervised by Profs. A. Giordani and V. Halbach, and touches upon the arithmetization of metamathematics and its different sources of intensionality, for example in Gödel's second incompleteness theorem. I'm also working on arbitrary objects.
More info on me here.