Dissertations

Proposals

Theses on Homotopy Type Theory,  and more in general on Constructive Mathematical Logic are available on request. In these theses, I’ll act as the internal and principal supervisor, and they are directly related to my research interests and activities. There is a possibility to cooperate with researchers in other institution, both in Europe and abroad. These theses are intended at the master or PhD level.
Theses on the automation of Mathematics in Isabelle are also available: these theses are intended at the bachelor or master level.

Ongoing

Concluded

1. M. Celio: Implementazione della correttezza e completezza della logica proposizionale classica in Isabelle (triennale, tesi interna, matematica, Università degli Studi dell’Insubria, aa 2021/22)
2. R. Merlo: A Machine Verified Substitution Algorithm (magistrale, tesi interna, matematica, Università degli Studi dell’Insubria, aa 2021/22)
3. M. Girardi: Proof theoretical issues in Martin-Löf Type Theory and Homotopy Type Theory (dottorato di ricerca, matematica, Università degli Studi di Trento, co-supervision with R. Zunino, aa 2021/22)
4. A. Perego: Il costruttivismo in filosofia della matematica: un’analisi degli scritti filosofici di Martin-Löf e Sundholm (magistrale, tesi interna, matematica, Università degli Studi dell’Insubria, aa 2020/21)
5. R. Bonacina: Semantics for Homotopy Type Theory (dottorato di ricerca, Informatica e Matematica del Calcolo, Università degli Studi dell’Insubria, aa 2019/20)
6. R. Bonacina: Point-free categorical semantics for Martin-Löf type theory (magistrale, tesi interna, matematica, Università degli Studi dell’Insubria, aa 2015/16)
7. V. Violini: Sicurezza informatica nella pubblica amministrazione: studio delle possibili soluzioni in un caso reale (triennale, stage aziendale, informatica, Università degli Studi dell’Insubria, aa 2009/10)
8. E. Andreazza: Trasformazione di un’applicazione di controllo pantografo scolpitore multiplo da sistema operativo MS-DOS a Windows CE in linguaggio C++ e Visual C (triennale, stage aziendale, informatica, Università degli Studi dell’Insubria, aa 2009/10)
9. R. Moneta: Analisi e sviluppo di un sistema di aggiornamento automatico per applicativi gestionale e fiscali (triennale, stage aziendale, informatica, Università degli Studi dell’Insubria, aa 2008/09)
10. M. Carta: Realizzazione della parte di back-end per un sistema gestionale web-based. (triennale, stage aziendale, informatica, Università degli Studi dell’Insubria, aa 2008/09)
11. F. Gobbo: Adpositional Grammars (dottorato di ricerca, informatica, Università degli Studi dell’Insubria, aa 2007/08)
12. D. Quirillo: Studio, implementazione, e verifica di un sistema adattivo on-line (specialistica, tesi interna, informatica, Università degli Studi dell’Insubria, aa 2007/08)
13. S. Galli: Analisi e realizzazione di un sistema di supervisione domotica di edifici acessibile da diverse tipologie di applicazioni client (specialistica, stage aziendale, informatica, Università degli Studi dell’Insubria, aa 2007/08)
14. F. Bignardi: Un protocollo di localizzazione subacqueo a risparmio energetico (triennale, stage interno, informatica, Università degli Studi dell’Insubria, aa 2007/08)
15. M. Bruni: UnyCo: un sistema di gestione Unified Communication (triennale, stage aziendale, informatica, Università degli Studi dell’Insubria, aa 2007/08)
16. A. Ghionna: Progettazione di un sistema voip aziendale (triennale, stage aziendale, informatica, Università degli Studi dell’Insubria, aa 2007/08)
17. L. Longo: Security through collaboration in global computing: a computational trust model based on temporal factors to evaluate trustworthiness of virtual identities (specialistica, tesi interna, informatica, Università degli Studi dell’Insubria, aa 2006/07)
18. G. Mangolini: Un motore flessibile per musei virtuali (triennale, stage interno, informatica, Università degli Studi dell’Insubria, aa 2006/07)
19. A. Scaltritti: Una risposta metodologica al risk assessment: il caso del DNS del Dipartimento di Informatica e Comunicazione (triennale, stage interno, informatica, Università degli Studi dell’Insubria, aa 2006/07)
20. A. Baccan: Studio e configurazione del servizio VOICOM: una rete telefonica mediante Asterisk (triennale, stage esterno, informatica, Università degli Studi dell’Insubria, aa 2006/07)
21. A. Gazineo: Implementazione della metodologia ITIL all’interno della realtà Macquire Bank Italia (triennale, stage esterno, informatica, Università degli Studi dell’Insubria, aa 2006/07)
22. P. Marchetti: Valutazione del rischio di attacco di una rete dall’interno: il caso del Dipartimento di Informatica e Comunicazione (triennale, stage interno, informatica, Università degli Studi dell’Insubria, aa 2005/06)
23. D. Sartiano: Valutazione del rischio di attacco di una rete dall’esterno: il caso del Dipartimento di Informatica e Comunicazione (triennale, stage interno, informatica, Università degli Studi dell’Insubria, aa 2005/06)
24. D. Dalle Mule: Analisi e implementazione di un sistema Voice over IP realizzato mediante software open source (triennale, stage esterno, informatica, Università degli Studi dell’Insubria, aa 2005/06)
25. G. Colombo: Analisi e sviluppo di un software per l’automazione domestica basato su protocollo X-10 (triennale, stage esterno, informatica, Università degli Studi dell’Insubria, aa 2004/05)
26. F. Ferrarin: Progettazione e sviluppo di una rete VLAN con backup delle connessioni (triennale, stage esterno, informatica, Università degli Studi dell’Insubria, aa 2004/05)
27. M. Chinosi: La seconda release di Virtuose basata su database XML (laurea quinquennale, stage interno, informatica, Università degli Studi di Milano, aa 2003/04)
28. M. Acchini: Filtraggio adattivo di contenuti: un’applicazione all’e-learning (triennale, stage interno, informatica, Università degli Studi dell’Insubria, aa 2003/04)
29. G. Dalborgo: La macchine di Turing: il primo passo verso l’intelligenza artificiale (triennale, stage interno, informatica, Università degli Studi dell’Insubria, aa 2003/04)
30. L. Padrin: Sviluppo e progettazione di API per un software di restore in ambiente Linux (triennale, stage esterno, informatica, Università degli Studi dell’Insubria, aa 2003/04)
31. G. Giudici: Sistema logico programmabile CPU embedded di controllo periferiche di I/O (triennale, stage aziendale, informatica, Università degli Studi dell’Insubria, aa 2002/03)
32. A. Guglielmin: Design e implementazione di un framework multipiattaforma per l’accesso alla rete nazionale interbancaria (triennale, stage esterno, informatica, Università degli Studi dell’Insubria, aa 2002/03)
33. M. Lauriola: ACE – ANSI C e-learning (triennale, stage interno, informatica, Università degli Studi dell’Insubria, aa 2001/02)
34. F. Vitale: Studio e sviluppo di un sito per l’analisi sperimentale di algoritmi (triennale, stage interno, informatica, Università degli Studi dell’Insubria, aa 2001/02)
35. L. Coronetti: Uno strumento automatico per la generazione di cataloghi fotografici (triennale, stage esterno, informatica, Università degli Studi dell’Insubria, aa 2001/02)
36. M. Magistrali: Progetto di integrazione del sito scolastico De Agostini con Documentum (triennale, stage esterno, informatica, Università degli Studi dell’Insubria, aa 2001/02)
37. A. Pivi: Analisi della progettazione e dell’implementazione di un sistema di comunicazione di eventi basato sugli SMS (triennale, stage esterno, informatica, Università degli Studi dell’Insubria, aa 2001/02)