Projects

Future

None for the moment

Ongoing

None for the moment

Concluded

1. European network for argumentation and public policy analysis (APPLY) – WG3
   COST Action CA17132
2. 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)
3. 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)
4. 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)
5. 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)
6. Metodi matematici in Informatica
   Dipartimento di Informatica e Comunicazione, Università degli Studi dell’Insubria, 2011
   funded by Università degli Studi dell’Insubria (FAR)
7. 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
8. PASCAL2 Excellence Network
   Dipartimento di Informatica e Comunicazione, Università degli Studi dell’Insubria, 2008-2012
   funded by European Community, 7th framework programme
9. 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)
10. 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)
11. 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)
12. 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)
13. PASCAL Excellence Network
    Dipartimento di Informatica e Comunicazione, Università degli Studi dell’Insubria, 2007
    funded by European Community, 6th framework programme
14. 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)
15. Mobile VoIP
    Dipartimento di Informatica e Comunicazione, Università degli Studi dell’Insubria, 2005, (project leader)
    funded by Regione Lombardia, INTEC
    with ing. A. Iannascoli
16. 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
17. 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
18. 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
19. 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
20. 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
21. 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
22. 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
23. 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
24. 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
25. 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
26. Holly
    Department of Computer Science, University of Warwick (UK), 1997-1999
    funded by EPSRC grant n. GR/K 25447
27. 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
28. 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