My CV






  Il mio CV

My Research

  • Algebraic semantics of many-valued logics
  • Representation theory, free algebras, spectral dualities
  • Mathematical fuzzy logics
  • Logic and Probability of non-classical events
  • Computational aspects of deduction in many-valued logics

  • Born

    • In Milano, Italy, on December 24th, 1967.
  • Education

  • Employment

  • PhD

  • Awards

    • 1999: AILA (Italian Association for Mathematical Logic) '99 Award for the Best PhD Dissertation in Mathematical Logic.
  • Visiting

  • Member

  • Editorial Positions

  • Invited Speaker

    • Invited speaker to The logic of Soft Computing III, Pontignano, Siena, 2003. Title: Uniform Description of Calculi for All t-norm Logics.
    • Invited speaker to The International Conference on the Logic of Soft Computing, Malaga, Spain, 2006. Title: Algebras of Truth Functions and Normal Forms for Some Residuated t-norm Based Logics.
    • Invited speaker to Non-classical Logics: from Foundations to Applications, Centro di Ricerca Matematica Ennio De Giorgi, Scuola Normale Superiore, Pisa, 2008. Title : De Finetti's Coherence Criterion and Finitely Additive Measures on Algebras of Many-Valued Logic: The Case of Gödel Logic.
    • Invited speaker to Logic, Algebra and Truth Degrees, Universit√† di Siena, 2008. Title: On Representations of BL-Algebras.
    • Invited speaker to Graded Logic Approaches and their Applications, 35th Linz Seminar on Fuzzy Set Theory, Bildungszentrum St. Magdalena, Linz, Austria, February 2014. Title: Duality semantics for many-valued logics.
  • Committees of Conferences

    • Member of the organising committee of the conference "The Logic of Soft Computing", Gargnano, November 2001.
    • Co-founder of the ManyVal series of conferences, 2006.
    • Co-chair of the scientific and of the organising committees of the conference ManyVal'06, International Conference on the Algebraic and Logical Foundations of Many-Valued Reasoning, Gargnano, March 2006.
    • Co-chair of the scientific and of the organising committees of the conference ManyVal'08, Applications of Topological Dualities to Measure Theory in Algebraic Many-Valued Logic, Milano, May 2008.
    • Member of the the scientific committee of the conferencec ECSQARU 2009, 10th European Conference on Symbolic and Quantitative Approaches to Reasoning with Uncertainty, Verona, July 2009.
    • Co-chair of the scientific and of the organising committees of the conference ManyVal'10, Beyond algebraic semantics: bridging intended and formal interpretations of many-valued logics, Varese, May 2010.
    • Co-chair of the scientific committee and member of the organising committee of the conference RST2011, Rough Sets and Logic, Milano, September 2011.
    • Member of the steering committee of the conference ManyVal'12, Salerno, July 2012.
    • Member of the scientific committee of the Conference LATD 2012, Logic, Algebra and Truth Degrees, Kanazawa, Japan, September 2012.
    • Member of the steering committee and of the scientific committee of the conference ManyVal'13, Prague, Czech Republic, September 2013.
    • Member of the scientific committee of the conference ECSQARU 2013, Utrecht, The Netherlands, July 2013.
    • Member of the scientific committee of the conference EUSFLAT 2013, Milano, Italy, September 2013.