Skip to content

Mauro Ferrari

  • Pofessor
  • Professor
  • Dipartimento di informatica e comunicazione, Università degli Studi dell'Insubria
  • 30PublicationsNumber of items in Mauro's My Publications folder on Mendeley.
  • 2Followers

Research interests

program synthesisformal specification and verificationdescription logicsintuitionistic logicConstructive logics

Followers (2)

Following (1)

  • Massimo Santini

    Massimo SantiniDSI, Computer Science Dept. - Università degli Studi di Milano

Recent publications

  • A note on constructive semantics for description logics

    • Bozzato L
    • Ferrari M
    • P.Villa
    N/AReaders
    N/ACitations
  • Cut-Free Tableau Calculi for some Intuitionistic Modal Logics

    • Ferrari M
    N/AReaders
    N/ACitations

Professional experience

Professor

Dipartimento di informatica e comunicazione, Università degli Studi dell'Insubria

December 2004 - Present