In corso
Passati
| Progetto | Acronimo | Inizio | Fine |
|---|---|---|---|
| Multiscale Immune System SImulator for the Onset of Type 2 Diabetes integrating genetic, metabolic and nutritional data | MISSION-T2D | 01/09/2013 | 01/09/2016 |
| Metodi logici per il trattamento dell'informazione | PRIN 2010-2011 | 20/11/2012 | 20/11/2015 |
| CONtrollo e CERTificazione dell'uso delle Risorse | CONCERTo | 01/09/2008 | 31/08/2010 |
| Rete italo-francese di ricerca in logica e geometria della computazione | 31/12/2005 | 14/12/2008 | |
| Fondazioni Logiche di Linguaggi Astratti di Programmazione | Follia | 31/12/2004 | 25/12/2006 |
| Cattedra Ennio De Giorgi - Franco Venturi (UFI) | 30/09/2004 | 25/12/2004 | |
| From proof to computation through linear logic | ProToCoLLo | 31/12/2002 | 29/12/2004 |