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).
This profile currently does not have any publications associated with it.