Posizione attuale 

Ricercatore a tempo determinato (tipologia B) in Logica Matematica (settore MAT/01).

Percorso accademico e di formazione

Ricercartore "Marie Curie" (programma co-finanziato "Beatriu de Pinos"), Istituto di Ricerca in Intelligenza Artificiale (IIIA-CSIC), Bellaterra, Spagna (Aprile-Settembre 2021). 

Assegnista di ricerca, Università di Torino (Maggio 2020 - Aprile 2021). 

Assegnista di ricerca, Università Politecnica delle Marche (Dicembre 2017 - Marzo 2020). 

Ricercatore post-dottorale, Istituto di Informatica dell'Accademia Ceca delle Scienze (Aprile - Novembre 2017). 

Assegnista di ricerca, Università di Cagliari (Marzo 2016 - Marzo 2017). 

Dottorato di ricerca in Logica, Università di Cagliari (Marzo 2016). 

Laurea Magistrale in Logica, Filosofia e Storia della Scienza, Università di Firenze (Aprile 2012).

Premi e qualifiche 

2020. Abilitazione scientifica nazionale come Professore di Seconda Fascia, settore 01/A1 (Logica matematica, didattica della matematica e matematiche complementari). 

2020. Abilitazione scientifica nazionale come Professore di Seconda Fascia, settore 11/C2 (Logica, storia e Filosofia della Scienza).

2018. SILFS Logic Prize. 

Presentazioni in convegni internazionali (selezione)

On the structure of Bochvar algebras. Logic Colloquium 2023, Milan, June 2023. 

Embeddings of metric Boolean algebras in R^N. LATD 2022 and Mosaic Kick-off, Paestum, Caserta, Settembre 2022.

How to believe long conjunctions of beliefs. EPSA 2021, Torino, Settembre 2021.

States over Plonka sums of Boolean algebras. BLAST 2021, Las Cruces (USA). 

Sure-wins under coherence: geometry, MV algebras and state theory, ManyVal 2019, Bucarest, Novembre 2019.

Sure-wins under coherence: a geometrical perspective, ECSQARU 2019, Belgrado, Settembre 2019.

Sure-wins under coherence, 4th SILFS Postgraduate Conference, Urbino, Giugno 2019.

Logics of variable inclusion and Plonka sums of matrices, UNILOG 2018 (invitato nella sessione "Logic Prizes"), Vichy, Francia, Giugno 2018.

Logics of variable inclusion and Plonka sums of matrices, Algebra in substructural Logics - Take 6, Cagliari, Giugno 2018.

Dualities for Plonka sums, 2nd Sysmics Workshop, Vienna, Febbraio 2018.

A duality for involutive bisemilattices, TACL (Topology, Algebra and Categories in Logic) 2017, Praga, Giugno 2017.

An abstract algebraic approach to paraconsistent weak Kleene logic, SILFS Triennal Conference, Bologna, Giugno 2017.

On paraconsistent weak Kleene logic, SYSMICS Kick-Off Conference, Barcellona, Settembre 2016.

On paraconsistent weak Kleene logic - part I, LATD (Logic, Algebra and Truth Degrees), Phalaborwa (South Africa), Giugno 2016.

Quantum structures as near semirings, 3rd SILFS Postgraduate Conference, Urbino, Maggio 2016.

Orthogonal relational systems, TACL 2015, Ischia, Giugno 2015.

Looking inside quantum algorithms, IQSA (International Quantum Structures Association) 2012, Cagliari, Luglio 2012.