- Correctness by Construction (CORCON) – website
Dipartimento di Scienza e Alta Tecnologia, Università degli Studi dell’Insubria, 2014-2017, (leader of research unit)
funded by European Community, 7th framework programme, schema FP7-PEOPLE-2013-IRSES, grant agreement number PIRSES-GA-2013-612638
with: University of Leeds (UK – leading unit), University of Strathclyde (UK), Swansea University (UK), Stockholms Universitet (Sweden), Universitaet Siegen (Germany), Ludwig-Maximilians Universitaet Muenchen (Germany), Università degli Studi di Padova (Italy), Università degli Studi di Genova (Italy), Japan Advanced Institute of Science and Technology (Japan), University of Canterbury (New Zealand), The Australian National University (Australia), Institute of Mathematical Sciences (India), Carnegie Mellon University (USA), Hankyong National University (Korea), and with the following associate partners Kyoto University (Japan), National Institute of Informatics (Japan), Tohoku University (Japan), University of Gothenburg (Sweden), University of Ljubljana (Slovenia)
- Abstract Mathematics for Actual Computation: Hilbert’s Program in the 21st Century
Dipartimento di Scienza e Alta Tecnologia, Università degli Studi dell’Insubria, 2014-2016, (leader of research unit)
funded by John Templeton Foundation, Core Funding, Mathematical and Physical Sciences
with: Michael Rathjen, Olaf Beyersdorff (coordinator), Nicola Gambino, Jan Pitch, University of Leeds, Department of Pure Mathematics and Department of Computer Science (UK), Peter Schuster, Davide Rinaldi, Dipartimento di Informatica, Università degli Studi di Verona (IT)
- Metodi matematici in Informatica
Dipartimento di Scienze Teoriche e Applicate, Università degli Studi dell’Insubria, 2013, (project leader)
funded by Università degli Studi dell’Insubria (FAR)
- Metodi matematici in Informatica
Dipartimento di Scienze Teoriche e Applicate, Università degli Studi dell’Insubria, 2012, (project leader)
funded by Università degli Studi dell’Insubria (FAR)
- Metodi matematici in Informatica
Dipartimento di Informatica e Comunicazione, Università degli Studi dell’Insubria, 2011
funded by Università degli Studi dell’Insubria (FAR)
- Predicative Theories and Grothendieck Toposes (PREDTOPOI)
Department of Pure Mathematics, University of Leeds, 2011-2013, (principal investigator)
funded by European Community, 7th framework programme, Marie Curie Intra-European Fellowship, grant n. PIEF-GA-2010-271926
- PASCAL2 Excellence Network
Dipartimento di Informatica e Comunicazione, Università degli Studi dell’Insubria, 2008-2012
funded by European Community, 7th framework programme
- Metodi matematici in Informatica
Dipartimento di Informatica e Comunicazione, Università degli Studi dell’Insubria, 2010, (project leader)
funded by Università degli Studi dell’Insubria (FAR)
- Metodi matematici in Informatica
Dipartimento di Informatica e Comunicazione, Università degli Studi dell’Insubria, 2009, (project leader)
funded by Università degli Studi dell’Insubria (FAR)
- Metodi matematici nell’Informatica
Dipartimento di Informatica e Comunicazione, Università degli Studi dell’Insubria, 2008, (project leader)
funded by Università degli Studi dell’Insubria (FAR)
- Metodi matematici applicati all’Informatica
Dipartimento di Informatica e Comunicazione, Università degli Studi dell’Insubria, 2007, (project leader)
funded by Università degli Studi dell’Insubria (FAR)
- PASCAL Excellence Network
Dipartimento di Informatica e Comunicazione, Università degli Studi dell’Insubria, 2007
funded by European Community, 6th framework programme
- Metodi per il trattamento automatico di informazioni massive
Dipartimento di Informatica e Comunicazione, Università degli Studi dell’Insubria, 2006, (project leader)
funded by Università degli Studi dell’Insubria (FAR)
- Mobile VoIP
Dipartimento di Informatica e Comunicazione, Università degli Studi dell’Insubria, 2005, (project leader)
funded by Regione Lombardia, INTEC
with ing. A. Iannascoli
- Conversazione a mani libere con interfaccia VoIP
Dipartimento di Informatica e Comunicazione, Università degli Studi dell’Insubria, 2005, (project leader)
funded by Regione Lombardia, INTEC
with ing. F. Ronchi
- Strumenti per la realizzazione di una rete aziendale sicura e protetta
Dipartimento di Informatica e Comunicazione, Università degli Studi dell’Insubria, 2005, (project leader)
funded by Regione Lombardia, INTEC
with dott. R. Glucksmann
- Architettura di un servizio open source
Dipartimento di Informatica e Comunicazione, Università degli Studi dell’Insubria, 2005, (project leader)
funded by Regione Lombardia, INTEC
with dott. G. Maurizio
- Centralino intelligente VoIP
Dipartimento di Informatica e Comunicazione, Università degli Studi dell’Insubria, 2004, (project leader)
funded by Regione Lombardia, INTEC
with ing. A. Trotta
- Architetture e Tecnologie Informatiche per lo Sviluppo ed Evoluzione di Software Open-Source per la Simulazione a Componenti Distribuiti, Orientate al Settore Manifatturiero
Dipartimento di Informatica e Comunicazione, Università degli Studi dell’Insubria, 2003-2006
funded by Ministero dell’Università e della Ricerca, G.U. n. 224 del 3 settembre 2001 (FIRB)
with Dipartimento di Ingegneria dell’Innovazione – Università di Lecce, Dipartimento di Elettronica ed Informazione – Politecnico di Milano, Dipartimento di Meccanica – Politecnico di Milano, Dipartimento di Elettronica, Informatica e Sistemistica – Università della Calabria
- Telepresence Instant Groupware for Higher Education in Robotics
Dipartimento di Informatica e Comunicazione, Università degli Studi dell’Insubria, 2003-2006
funded by Ministero dell’Università e della Ricerca, D.M. n. 199 ric. 8 marzo 2001 (FIRB)
with Dipartimento di Elettronica ed Automatica – Università di Ancona, Dipartimento di Ingegneria dell’Innovazione – Università di Lecce, Dipartimento di Informatica, Sistemi e Produzione – Università di Roma “Tor Vergata”, Dipartimento di Informatica e Sistemistica – Università di Roma “La Sapienza”, Istituto di Matematica Applicata – CNR Genova, Dipartimento Scientifico e Tecnologico – Università di Verona
- VICE – Comunità Virtuali per la Formazione
Dipartimento di Informatica e Comunicazione, Università degli Studi dell’Insubria, 2003-2005
funded by Ministero dell’Università e della Ricerca, legge 449/97 (MURST-CNR)
with Dipartimento di Elettronica ed Informazione – Politecnico di Milano, Dipartimento di Informatica e Sistemistica – Università di Roma “La Sapienza”, Dipartimento di Scienze dell’Informazione – Università di Bari, Dipartimento di Ingegneria dell’Innovazione – Università di Lecce, Istituto di Tecnologie Didattiche – CNR Milano, Istituto di Matematica Applicata – CNR Genova
- Progetto Pilota per la Standardizzazione dell’Accesso ai Servizi sul Territorio per i Malati di Alzheimer nella Provincia di Varese
Dipartimento di Informatica e Comunicazione, Università degli Studi dell’Insubria, 2003-2004
funded by Provincia di Varese, Assessorato alle Politiche Sociali, Fondazione Cariplo
with Dipartimento di Medicina – Università degli Studi dell’Insubria
- Mostra del Ritratto in Lombardia
Centro di Ricerca Informatica Interattiva, Università degli Studi dell’Insubria, 2002
funded by Regione Lombardia, Assessorato alla Cultura, Ministero per i Beni e le Attività Culturali
with Museo d’Arte Moderna e Contemporanea, Castello di Masnago
- Virtuose
Centro di Ricerca Informatica Interattiva, Università degli Studi dell’Insubria, 2001-2002
funded by Regione Lombardia
with AIReC (Associazione Italiana Reti Civiche), Rete Civica di Milano, Rete Civica Lariana
- Holly
Department of Computer Science, University of Warwick (UK), 1997-1999
funded by EPSRC grant n. GR/K 25447
- Verifica formale di circuiti mediante HOL
Laboratorio di Architetture Computazionali, Dipartimento di Scienze dell’Informazione, Università degli Studi di Milano, 1994
funded by SGS-Thomson
- Strategy Description Language
Laboratorio di Architetture Computazionali, Dipartimento di Scienze dell’Informazione, Università degli Studi di Milano, 1993
funded by Dipartimento di Scienze dell’Informazione, Università degli Studi di Milano