Francesco Ciraulo
Francesco Ciraulo è professore associato di Logica Matematica al Dipartimento di Matematica “Tullio Levi Civita” dell’Università di Padova.
Sua area di ricerca è la matematica costruttiva, cioè quella matematica sviluppata sulla base della logica intuizionistica e, spesso, con metodi predicativi.
Tra i suoi interessi c’è in particolare la topologia costruttiva e l’algebra intuizionistica.
Ha studiato la nozione di “overlap algebra” (introdotta da Giovanni Sambin), un’algebrizzazione costruttiva della struttura dei sottoinsiemi in cui anche la nozione di “essere abitato” è presa come primitiva.
Ha ottenuto diversi risultati collegando le overlap algebra con la topologia formale, un approccio costruttivo alla topologia (senza punti).
Ha anche applicato overlap algebra e topologia formale a questioni semantiche nella logica intuizionistica e in altre logiche non classiche.
