Francesco Ciraulo
Curriculum Vitae
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.
Publications: here.
Conference presentations: here.
Meeting organization:
Teaching activity: here (in Italian).
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.
Meeting organization:
- "CCC 2022: Continuity, Computability, Constructivity - From Logic to Algorithms", Padova, September 19–23, 2022 (OC member).
- "100
years Unione Matematica Italiana - 800 years University of
Padova", Padova, 23rd-27th May, 2022 (OC member).
- "CCC 2019: Computability, Continuity, Constructivity - from Logic to Algorithms", Ljubljana, 2-6 September 2019 (PC member).
- "XXVI incontro dell'Associazione Italiana di Logica e sue Applicazioni", Padova, Italy, 25-28 September 2017 (local OC member).
- "Le valutazioni nazionali in matematica",
Padova, Italy, 4 april 2017 (organizers: Cinzia Bonotto,
Francesco Ciraulo, Samuele Maschio, Luigi Tomasi).
- "Foundation of Mathematcs for Computer-Aided Formalization", Padova, Italy, 9-11 January 2013 (organizers: Francesco Ciraulo, Tatsuji Kawai, Maria Emilia Maietti, Claudio sacerdoti Coen and Giovanni Sambin).
- "Workshop on Constructive Topology", Palermo, Italy, 6-7 September 2010 (organizers: Francesco Ciraulo, Nicola Gambino and Giovanni Sambin).
Teaching activity: here (in Italian).
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.
