• 2007
  Ph.D. in Mathematics, Università degli Studi di Salerno
  Thesis: Quantale Modules, with Applications to Logic and Image Processing
  Advisors: Antonio Di Nola and Constantine Tsinakis
  Evaluation: Excellent
  
  
• 2004
  Laurea (MSc) in Mathematics, Università degli Studi di Napoli "Federico II"
  Thesis: Forme Normali nella Logica di Łukasiewicz
  Advisor: Antonio Di Nola
  Score: 110/110 cum laude

Positions

• October 2010 - October 2011
  Research Fellow - Dipartimento di Matematica e Informatica, University of Salerno - Italy.
  

• September 2008 - September 2010
  Postdoctoral Fellow - Dipartimento di Matematica e Informatica, University of Salerno - Italy.
  

• January 2008 - May 2008
  Visiting Assistant Professor - Department of Mathematics, Vanderbilt University - Nashville, TN - USA.
  

Teaching experience

• January 2008 - April 2008
  Linear Algebra (MATH 204) - Instructor
  Department of Mathematics, Vanderbilt University - Nashville, TN - USA.
  

• January 2005 - December 2007
  Logica Matematica I, Logica Matematica II, Algebra Universale e Teoria dei Modelli - Teaching Assistant
  Dipartimento di Matematica e Informatica, University of Salerno - Italy.
  

• March 2005 - December 2005
  Analisi Matematica I - Teaching Assistant
  Dipartimento di Matematica e Informatica, University of Salerno - Italy.
  

Workshops and Conferences

• July 2011
  Topology, Algebra, and Categories in Logic - TACL 2011, Marseille, France
  Talk: An extension of Stone duality to fuzzy topologies an MV-algebras


• May 2011
  Algebraic Semantics for Uncertainty and Vagueness, University of Salerno, Italy
  Member of the Organising Committee


• April 2011
  Algebra and Coalgebra meet Proof Theory, University of Bern, Switzerland
  Talk: MV-algebras and fuzzy topologies: Stone duality extended


• March 2011
  Algebra and Proof Theory, amplified by Frames and Category Theory, Vanderbilt University, Nashville, TN - USA
  Invited talk: MV-algebras and fuzzy topologies: Stone duality extended


• February 2011
  Incontro AILA 2011, Bologna, Italy
  Talk: Semiring and Semimodule issues in MV-algebras


• May 2010
  ManyVal '10, Varese, Italy
  Talk: Semiring and Semimodule issues in MV-algebras


• June 2009
  International Conference on Ordered Algebraic Structures, Bowling Green - OH, USA
  Invited talk: Semirings and Semimodules in Many-Valued Logics


• June 2009
  International Workshop on Fuzzy Logic and Applications, Palermo, Italy
  Talk: A Unified Algebraic Framework for Fuzzy Image Compression and Mathematical Morphology


• September 2008
  Logic, Algebra and Truth Degrees, University of Siena, Italy
  Talk: Interpretability of deductive systems: an algebraic approach


• March 2008
  Shanks Workshop on Proof Theory and Algebra, Vanderbilt University, Nashville, TN - USA
  Member of the Organising Committee
  Talk: An algebraic approach to the comparison of propositional logics


• September 2007
  XVIII Congresso UMI, Bari - Italy
  Talk: Coppie aggiunte di operatori di discretizzazione: trasformate di Łukasiewicz e di Q-moduli


• June 2007
  International Conference on Order, Algebra and Logics, Vanderbilt University, Nashville, TN - USA
  Talk: An order-theoretic approach to image processing


• September 2006
  International Conference on The Logic of Soft Computing, Málaga - Spain
  Talk: Discretization by adjoint pairs: Łukasiewicz and Q-module transforms


• July 2006
  FUZZ-IEEE 2006, The IEEE International Conference on Fuzzy Systems, Vancouver, BC - Canada
  Talk: Łukasiewicz Transform Based Algorithm for Image Processing


• May - June 2006
  International Symposium on Ordered Structures in Many-Valued Logic, Massa Lubrense - Italy
  Member of the Organising Committee


• May 2005
  FUZZ-IEEE 2005, The IEEE International Conference on Fuzzy Systems, Reno, NV - USA

Invited seminars

• March 2011
  MV-topologies: an approach to fuzzy topologies through MV-algebras
  Department of Mathematics, Vanderbilt University - Nashville, TN - USA.


• February 2010
  An algebraic perspective on fuzzy image compression and mathematical morphological operators
  Departamento de Matemática, University of Brasília - Brazil.


• November 2008
  A categorical approach to the comparison of propositional deductive systems
  Kurt Gödel Society - Vienna, Austria.


• February 2008
  Interpretability of deductive systems: an algebraic approach
  Department of Mathematics, Vanderbilt University - Nashville, TN - USA.


• April 2007
  An order-theoretic approach to image processing
  Department of Mathematics, Vanderbilt University - Nashville, TN - USA.