I got a bachelor's degree in Philosophy from the University of Trento and a master's degree in Logic and Philosophy of Science from the University of Florence. While there, I have also spent a semester at the MCMP in Munich. I am now a PhD student in the ERC project "Truth and Semantics". My focus is on formal semantics (and in particular truthmaker semantics), semantic paradoxes, theories of truth. I am also interested in proof theory, lambda-calculus, combinatory logic and automatic theorem proving (HOL Light).
University of BristolDepartment of PhilosophyDoctoral student
Bristol, Bristol, City of, United Kingdom of Great Britain and Northern Ireland
This profile currently does not have any publications associated with it.