Research Projects
(in which I've been involved to as a member of the
Gruppo di Logica e Geometria della Cognizione
)
2010-oggi - Progetto PRIN:
Metodi logici per il trattamento dell'informazione
2007-2008 - PRIN CONCERTO:
Controllo e certificazione dell'uso delle risorse
2006-2007 - Progetto CNR-CNRS:
Interazione e Complessita'
2004-2006 - Rete di Ricerca Italo-Francese:
Logica e Geometria della Computazione
2004-2006 - PRIN FOLLIA:
Fondazioni Logiche di Linguaggi Astratti di Programmazione
2002-2004 - PRIN PROTOCOLLO:
Dalla Prova alla Computazione con la Logica Lineare
1998-2001 - TMR Project:
Linear Logic in Theoretical Computer Science
Back to my
Home Page