Marco Benini

Teaching

Receiving students

Il ricevimento studenti avviene per appuntamento: inviare una mail all’indirizzo marco.benini@uninsubria.it specificando il nome, cognome, numero di matricola, il corso di laurea e una descrizione del quesito.
The students are received on appointment: send an email to marco.benini@uninsubria.it with your name, surname, register number, course and a description of your question.

Courses

  1. Mathematical Logic, Corso di Laurea Magistrale in Matematica, aa 2018/19, Dipartimento di Scienza e Alta Tecnologia, Università degli Studi dell’Insubria, and Master Degree in Mathematics, Linnaeus University (SE)
  2. Mathematical Logic, Corso di Laurea Magistrale in Matematica, aa 2017/18, Dipartimento di Scienza e Alta Tecnologia, Università degli Studi dell’Insubria, and Master Degree in Mathematics, Linnaeus University (SE)
  3. Mathematical Logic, Corso di Laurea Magistrale in Matematica, aa 2016/17, Dipartimento di Scienza e Alta Tecnologia, Università degli Studi dell’Insubria, and Master Degree in Mathematics, Linnaeus University (SE)
  4. Mathematical Logic, Corso di Laurea Magistrale in Matematica, aa 2015/16, Dipartimento di Scienza e Alta Tecnologia, Università degli Studi dell’Insubria
  5. Analisi Matematica – Esercitazioni, Corso di Laurea in Informatica, aa 2014/15, Diaprtimento di Scienze Teoriche e Applicate, Università degli Studi dell’Insubria
  6. L’occhio del biologo: acquisizione di immagini nel laboratorio biologico (slides), Alta Formazione Insubria, 26 febbraio 2015, Università degli Studi dell’Insubria
  7. An Introduction to Category Theory, Corso di Dottorato di Ricerca in Informatica e Matematica del Calcolo, aa 2013/14, Dipartimento di Scienze Teoriche e Applicate, Università degli Studi dell’Insubria
  8. Tecniche di Programmazione Funzionale, Corso di Laurea Magistrale in Informatica, aa 2013/14, Dipartimento di Scienze Teoriche e Applicate, Università degli Studi dell’Insubria
  9. Reti di Telecomunicazione, Corso di Laurea Triennale in Informatica, aa 2009/10, Facoltà di Scienze Matematiche, Fisiche e Naturali – Varese, Università degli Studi dell’Insubria
  10. Reti di Telecomunicazione, Corso di Laurea Triennale in Informatica, aa 2008/09, Facoltà di Scienze Matematiche, Fisiche e Naturali – Varese, Università degli Studi dell’Insubria
  11. Gestione delle Reti, Corso di Laurea in Informatica, aa 2007/08 Facoltà di Scienze Matematiche, Fisiche e Naturali – Varese, Università degli Studi dell’Insubria
  12. Reti di Telecomunicazione, Corso di Laurea Triennale in Informatica, aa 2007/08, Facoltà di Scienze Matematiche, Fisiche e Naturali – Varese, Università degli Studi dell’Insubria
  13. Gestione delle Reti, Corso di Laurea in Informatica, aa 2006/07, Facoltà di Scienze Matematiche, Fisiche e Naturali – Varese, Università degli Studi dell’Insubria
  14. Reti di Telecomunicazione, Corso di Laurea Triennale in Informatica, aa 2006/07, Facoltà di Scienze Matematiche, Fisiche e Naturali – Varese, Università degli Studi dell’Insubria
  15. Applications of Constructive Logics in Analysis, Verification, and Synthesis of Programs, PhD programme, aa 2006/07, Mathematisches Institut, Fakultät für Mathematik, Informatik und Statistik, Ludwig Maximillians Universität – Muenchen (DE)
  16. Gestione delle Reti, Corso di Laurea in Informatica, aa 2005/06, Facoltà di Scienze Matematiche, Fisiche e Naturali – Varese, Università degli Studi dell’Insubria
  17. Reti di Telecomunicazione, Corso di Laurea Triennale in Informatica, aa 2005/06, Facoltà di Scienze Matematiche, Fisiche e Naturali – Varese, Università degli Studi dell’Insubria
  18. Informatica Teorica, Corso di Laurea Specialistica in Informatica, aa 2004/05, Facoltà di Scienze Matematiche, Fisiche e Naturali – Varese, Università degli Studi dell’Insubria
  19. Gestione delle Reti, Corso di Laurea in Informatica, aa 2004/05, Facoltà di Scienze Matematiche, Fisiche e Naturali – Varese, Università degli Studi dell’Insubria
  20. Sicurezza Perimetrale, Master di Sicurezza delle Reti, aa 2004/05
  21. Laboratorio di Sistemi Operativi, Laurea in Informatica, aa 2003/04, Facoltà di Scienze Matematiche, Fisiche e Naturali – Varese, Università degli Studi dell’Insubria
  22. Informatica Teorica, Corso di Laurea Specialistica in Informatica, aa 2003/04, Facoltà di Scienze Matematiche, Fisiche e Naturali – Varese, Università degli Studi dell’Insubria
  23. Applicazioni Web-based, Master in Web & Business, aa 2003/04, Facoltà di Economia, Università degli Studi dell’Insubria
  24. Fondamenti di Informatica, Laurea in Informatica, aa 2002/03, Facoltà di Scienze Matematiche, Fisiche e Naturali – Varese, Università degli Studi dell’Insubria
  25. Laboratorio di Architettura dei Calcolatori – Esercitazioni, Laurea in Informatica, aa 2002/03, Facoltà di Scienze Matematiche, Fisiche e Naturali – Varese, Università degli Studi dell’Insubria
  26. Laboratorio di Sistemi Operativi, Laurea in Informatica, aa 2001/02, Facoltà di Scienze Matematiche, Fisiche e Naturali – Varese, Università degli Studi dell’Insubria
  27. Sistemi Operativi, Master in Informatica e Comunicazione per le Scienze Umanistiche, aa 2001/02, Facoltà di Lettere e Filosofia, Università degli Studi di Milano
  28. Applicazioni Web-based, Master in Web & Business, aa 2001/02, Facoltà di Economia, Università degli Studi dell’Insubria
  29. Laboratorio di Reti di Telecomunicazione, Laurea in Informatica, aa 2001/02, Facoltà di Scienze Matematiche, Fisiche e Naturali – Varese, Università degli Studi dell’Insubria
  30. Laboratorio di Linguaggi, Laurea in Informatica, aa 2001/02, Facoltà di Scienze Matematiche, Fisiche e Naturali – Varese, Università degli Studi dell’Insubria
  31. Logica Computazionale, Laurea in Informatica, aa 2001/02, Facoltà di Scienze Matematiche, Fisiche e Naturali – Varese, Università degli Studi dell’Insubria
  32. Laboratorio di Sistemi Operativi, Diploma in Informatica, aa 2000/01, Facoltà di Scienze Matematiche, Fisiche e Naturali – Varese, Università degli Studi dell’Insubria
  33. Sistemi Operativi, Master in Informatica e Comunicazione per le Scienze Umanistiche, aa 2000/01, Facoltà di Lettere e Filosofia, Università degli Studi di Milano
  34. Reti di Telecomunicazione, Diploma in Informatica, aa 2000/01, Facoltà di Scienze Matematiche, Fisiche e Naturali – Varese, Università degli Studi dell’Insubria
  35. Laboratorio di Architettura dei Calcolatori – Esercitazioni, Diploma in Informatica, aa 2000/01, Facoltà di Scienze Matematiche, Fisiche e Naturali – Varese, Università degli Studi dell’Insubria
  36. Logiche Costruttive, Dottorato di Ricerca in Informatica, aa 2000/01, Facoltà di Scienze Matematiche, Fisiche e Naturali, Università degli Studi di Milano
  37. Laboratorio di Informatica Generale – Esercitazioni, Laurea in Scienze e Tecnologie per l’Ambiente, aa 1999/00, Facoltà di Scienze Matematiche, Fisiche e Naturali, Università degli Studi di Milano – Bicocca
  38. Laboratorio di Sistemi Operativi, Diploma in Informatica, aa 1999/00, Facoltà di Scienze Matematiche, Fisiche e Naturali – Varese, Università degli Studi dell’Insubria
  39. Sistemi Operativi, Master in Informatica e Comunicazione per le Scienze Umanistiche, aa 1999/00, Facoltà di Lettere e Filosofia, Università degli Studi di Milano
  40. Laboratorio di Architettura dei Calcolatori – Esercitazioni, Diploma in Informatica, aa 1999/00, Facoltà di Scienze Matematiche, Fisiche e Naturali – Varese, Università degli Studi dell’Insubria
  41. Logica II – Esercitazioni, Diploma in Informatica, aa 1999/00, Facoltà di Scienze Matematiche, Fisiche e Naturali, Università degli Studi di Milano
  42. Laboratorio di Informatica Generale – Esercitazioni, Laurea in Scienze e Tecnologie per l’Ambiente, aa 1999/99, Facoltà di Scienze Matematiche, Fisiche e Naturali, Università degli Studi di Milano – Bicocca
  43. Programmazione II – Esercitazioni, Diploma in Informatica, aa 1998/99, Facoltà di Scienze Matematiche, Fisiche e Naturali, Università degli Studi di Milano
  44. Introduzione al Prolog, Laurea in Scienze dell’Informazione, aa 1994/95, Facoltà di Scienze Matematiche, Fisiche e Naturali, Università degli Studi di Milano