A detailed curriculum vitae can be downloaded here
Positions
Associate Professor of Mathematical Logic at the Department of Mathematics of the University of Salerno.
Assistant Professor (Ricercatore) at the Department of Mathematics of the University of Salerno.
Marie Curie Fellow at the Institute for Logic, Language, and Computation of the University of Amsterdam.
Studies
Jun. 2007
PhD degree in Mathematical Logic and Theoretical Computer Science at the University of Siena
Oct. 2004
Master in Logic and Computer Science at the Graduated College Santa Chiara
Oct. 2002
Degree in Mathematics at the University of Siena
Selected funded Projects
May 2021 — May 2026
European RISE project (Marie Curie International Research Staff Exchange) “MOSAIC”. The project involves 28 universities in Australia, Austria, Argentina, Brazil, Czech Republic, France, Italy, the Netherlands, Poland, South Africa, Spain, Switzerland, UK and US.
Role in the project: local coordinator.
Dec. 2019 — Dec. 2022
PRIN2017 “Theory and applications of resource sensitive logics”. The project involves the University of Salerno and the University of Cagliari. Role in the project: local cordinator.
Mar. 2016 — Feb. 2019
European RISE project (Marie Curie International Research Staff Exchange) “Syntax meet Semantics: Methods, Interactions, and Connections in Substructural logics”. The project involves 25 universities in Australia, Austria, Argentina, Brazil, Czech Republic, Italy, Japan, the Netherlands, Singapore, South Africa, Spain, Switzerland, and US.
Role in the project: coordinator.
Aug. 2013 — July 2015
Marie Curie Fellowship (IEF). “A Dual Approach to Many-valued Semantics.”
Role in the project: principal investigator.
Mar. 2011 — Mar. 2015
European IRSES project (Marie Curie International Research Staff Exchange Scheme) “Mathematical Tools for the Management of Uncertain and Vague Information”. The project involves 15 universities in Argentina, Brazil, Italy, Czech Republic, and Spain.
Role in the project: coordinator.
Jan. 2012 — Jan. 2015
PRIN2010-2011 (Research Project of National Relevance). “Logical tools for the management of Information.”
Role in the project: member of the coordinating unit.
Mar. 2010 — Jan. 2012
PRIN2008 (Research Project of National Relevance). “Algebraic semantics for the uncertainty.”
Role in the project: member of the coordinating unit.
Editorial Activities
Since Jan. 2012
Associate Editor of the journal Soft Computing.
May 2021 — Feb. 2023
Associate Editor of the journal Proyecciones.
Nov. 2013
Guest editor of Mathematica Slovaca. Special issue for the 65th birthday of prof. Antonio Di Nola.
Nov. 2009
Guest editor for the series Lectures Notes in Computer Science. Special issue containing selected works presented at: 8th International Tbilisi Symposium on Language, Logic and Computation’.
Sep. 2008
Guest editor for Annals of Pure and Applied Logic. Special issue dedicated to prof. Franco Montagna’s 60th birthday.
Others
Sep. 2020 — Ongoing
Head of the Laboratory for Automated Reasoning.
Sep. 2017 — Ongoing
Secretary of the Italian Association of Logic and its Applications (AILA).
May. 2023
co-Chair of the Scientific Committee of the conference TACL, Barcelona, Spain.
Jan. 2023
co-Chair of the Scientific Committee of the conference LATD, Tbilisi, Georgia.
March 2023
Member of the Scientific Committee of MOSAIC 2023 workshop, 27-29 September 2023 in Vienna, Austria.
March 2023
Member of the Organising Committee of PSSL 108 and the satellite workshop on “Logic & Algebra”, Palermo, Italy.
Sep. 2022
Member of the Organising Committee of the conference LATD+MOSAIC, Paestum (SA), Italy.
Jan. 2022
Member of the Scientific Committee of the conference LATD+MOSAIC, Paestum (SA), Italy.
Jan. 2022
co-Chair of the Scientific Committee of the conference Incontro AILA, Caserta, Italy.
Jan. 2022
Member of the Organising Committee of the conference Incontro AILA, Caserta, Italy.
Sep. 2017 — Sep. 2020
Treasurer of the Italian Association of Logic and its Applications (AILA).
Sep. 2019
Member of the Scientific Committee of the conference TbiLLC (Thirteenth International Tbilisi Symposium on Language, Logic and Computation), Georgia.
Jan. 2019
Member of the Scientific Committee of the conference SYSMICS 2019, Amsterdam, The Netherlands.
Sep. 2018
Member of the Scientific Committee of the Second SYMICS school, Les Diablerets, Switzerland.
Sep. 2018
Chair of the Organising Committee of the conference Geometry and non classical logic (dedicated to the 70th birthday of Antonio Di Nola), Salerno, Italy.
Sep. 2017
Member of the Scientific Committee of the conference TbiLLC (Twelfth International Tbilisi Symposium on Language, Logic and Computation), Georgia.
Sep. 2016
Chair of the Scientific Committee of the conference Syntax meets Semantics 2016, Barcelona, Spain.
Sep. 2015
Chair of the Scientific Committee of the conference TbiLLC (Eleventh International Tbilisi Symposium on Language, Logic and Computation), Tbilisi, Georgia.
June. 2015
Chair of the Organising Committee of the conference Topology, Algebra, and Categories in Logic, Ischia (NA), Italy.
June 2015
Organiser of the School on Topology, Algebra, and Categories in Logic, University of Salerno, Italy.
Sep. 2013
Member of the Scientific Committee of the conference TbiLLC (Tenth International Tbilisi Symposium on Language, Logic and Computation), Gudauri, Georgia.
Apr. 2013
Co-organiser of the workshop “Many valued logics'” at the 3d International Conference on Universal Logic, Rio de Janeiro, Brazil.
Aug. 2012
Member of the Scientific Committee of the conference PMUV (Philosophy and Mathematics of Uncertainty and Vagueness), Campinas, Brazil.
Jul. 2012
Member of the Programme Committee of ManyVal12, celebrating Antonio Di Nola’s 65th birthday, Salerno, Italy.
Sep. 2011
Co-chair of the scientific committee in Logic of the IX Tbilisi Symposium on Language, Logic and Computation, Kutaisi.
May 2011
Member of the organizing committee of Algebraic Semantics for Uncertainty and Vagueness, Salerno.
Sep. 2008
Member of the organizing committee of Logic, Algebra and Truth Degrees, Siena.
June. 2007
Member of the organizing committee of Computability in Europe 07 , Siena.
