Marco Benini

Projects

Ongoing

  1. Open learning environment for computer-assisted mathematical reasoning (BazaarMath)
    Dipartimento di Scienza e Alta Tecnologia, Università degli Studi dell’Insubria, 2018-2022, (main proposer)
    proposal submitted to European Community, Horizon 2020, COST schema
    with Universität Innsbruck (Austria), Ludwig-Maximilians-Universität München (Germany), Technische Universität Darmstadt (Germany), Universität Hamburg (Germany), Università degli Studi di Verona (Italy), University of Amsterdam (Netherlands), University of Warsaw (Poland), Universidade Nova de Lisboa (Portugal), Universidade de Lisboa (Portugal), Mathematical Institute SASA (Serbia), Univerza v Ljubljani (Slovenia), University of Birmingham (UK), University of Edinburgh (UK), Swansea University (UK)
  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), 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)

Concluded

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