Ha conseguito la laurea in Scienze dell'Informazione nel 1990 e il Dottorato di Ricerca in Informatica nel 1997.
Dal 2000 al 2004 è stato ricercatore presso l'Università degli Studi di Milano.
Dal 2004 è stato professore associato presso l'Università degli Studi dell'Insubria.
Dal 2018 è professore ordinario di Logica Matematica, Direttore del Dipartimento di Scienze Teoriche e Applicate e Delegato del Rettore alla Didattica e all'innovazione.

È stato membro della commissione per l’Abilitazione Scientifica Nazionale per il settore concorsuale 01/A1- LOGICA MATEMATICA E MATEMATICHE COMPLEMENTARI per il biennio 2021-2023.

Ha pubblicato più di 50 lavori su riviste internazionali e in atti di convegni internazionali.

Ambito di ricerca:
- Ragionamento automatico
- Logiche non classiche: caratterizzazioni semantiche e calcoli.
- Proof-theory della logica intuizionista.
- Proof-complexity
- Logiche descrittive a base costruttiva.
- Applicazioni delle logiche costruttive a sintesi e verifica formale dei programmi.