Logico, Filosofo del Calcolo e dell'Informazione. Membro del Gruppo Logica, Incertezza, Calcolo e Informazione (LUCI) del Dipartimento di Filosofia, Università degli Studi di Milano. Attualmente è anche membro associato del Department of Computer Science, Middlesex University London (UK) e del Philosophy of Computing Research Group presso l'International Center for Formal Ontology presso la Warsaw University of Technology.

Lavora come consulente scientifico per Soffos.ai. La sua ricerca si concentra sui modelli formali di razionalità dinamica per i sistemi informativi meccanici e naturali intelligenti, la semantica e la teoria della dimostrazione dei sistemi computazionali, i fondamenti dell'informatica.