Personal information: born on May 16th, 1980 in Palermo, Italy.

Current position: Associate Professor in Mathematical Logic at the Department of Mathematics, University of Padua.


Previous employments:

• 2012-2016: Ricercatore Universitario (Assistant Professor) in Mathematical Logic at the Department of Mathematics, University of Padua.
• 2011-2012: research fellow in Mathematical Logic at the Department of Mathematics, University of Padua.
• 2007-2011: research fellow in Mathematical Logic and Mathematical Education at the Department of Mathematics and Applications, University of Palermo.

Education: 

• 2007 - Ph. D. in Mathematics, University of Palermo (here is my Ph.D. thesis);
• 2003 - Degree ("Laurea") cum laude in Mathematics, University of Palermo.

Research interests:
My research area is Constructive Mathematics, that is, Mathematics developed on the basis of intuitionistic logic and, often, by means of predicative methods. In particular, I am interested in constructive Topology and in intuitionistic algebra.
I have studied the notion of "overlap algebra" (introduced by Sambin), an intuitionistic algebraization of the structures of subsets in which also the notion of being inhabited is taken as primitive. I have obtained several results linking overlap algebras with Formal Topology, a constructive approach to (point-free) topology.
Also I have applied such theories (overlap algebra and formal topology) to semantical issues in intuitionistic logic, as well as in other non-classical logics.

Publications: here.