Skip to content

Mauro Ferrari

  • Pofessor
  • Professor
  • Dipartimento di informatica e comunicazione, Università degli Studi dell'Insubria
  • 0ReadersNumber of instances of Mauro's publications in Mendeley libraries. Updated daily.
  • 30PublicationsNumber of items in Mauro's My Publications folder on Mendeley.

Research interests

program synthesisformal specification and verificationdescription logicsintuitionistic logicConstructive logics

Followers (2)

  • Federico Gobbo

    Federico GobboUniversity of Milano-Bicocca

  • Massimo Santini

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

Following (1)

  • Massimo Santini

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

Publications (5)

  • A note on constructive semantics for description logics

    • Bozzato L
    • Ferrari M
    • P.Villa
    N/AReaders
    N/ACitations
  • Actions over a constructive semantics for {ALC}

    • Bozzato L
    • Ferrari M
    • P.Villa
    N/AReaders
    N/ACitations
  • Actions Over a Constructive Semantics for Description Logics

    • Bozzato L
    • Ferrari M
    • P.Villa
    N/AReaders
    N/ACitations
  • Synthesis of Programs in Abstract Data Types (extended abstract)

    • Avellone A
    • Ferrari M
    • Miglioli P
    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