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 2017/18, 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 2016/17, 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 2015/16, Dipartimento di Scienza e Alta Tecnologia, Università degli Studi dell’Insubria
  4. Analisi Matematica – Esercitazioni, Corso di Laurea in Informatica, aa 2014/15, Diaprtimento di Scienze Teoriche e Applicate, Università degli Studi dell’Insubria
  5. L’occhio del biologo: acquisizione di immagini nel laboratorio biologico (slides), Alta Formazione Insubria, 26 febbraio 2015, Università degli Studi dell’Insubria
  6. 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
  7. Tecniche di Programmazione Funzionale, Corso di Laurea Magistrale in Informatica, aa 2013/14, Dipartimento di Scienze Teoriche e Applicate, Università degli Studi dell’Insubria
  8. 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
  9. 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
  10. Gestione delle Reti, Corso di Laurea in Informatica, aa 2007/08 Facoltà di Scienze Matematiche, Fisiche e Naturali – Varese, Università degli Studi dell’Insubria
  11. 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
  12. Gestione delle Reti, Corso di Laurea in Informatica, aa 2006/07, Facoltà di Scienze Matematiche, Fisiche e Naturali – Varese, Università degli Studi dell’Insubria
  13. 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
  14. 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)
  15. Gestione delle Reti, Corso di Laurea in Informatica, aa 2005/06, Facoltà di Scienze Matematiche, Fisiche e Naturali – Varese, Università degli Studi dell’Insubria
  16. 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
  17. Informatica Teorica, Corso di Laurea Specialistica in Informatica, aa 2004/05, Facoltà di Scienze Matematiche, Fisiche e Naturali – Varese, Università degli Studi dell’Insubria
  18. Gestione delle Reti, Corso di Laurea in Informatica, aa 2004/05, Facoltà di Scienze Matematiche, Fisiche e Naturali – Varese, Università degli Studi dell’Insubria
  19. Sicurezza Perimetrale, Master di Sicurezza delle Reti, aa 2004/05
  20. Laboratorio di Sistemi Operativi, Laurea in Informatica, aa 2003/04, Facoltà di Scienze Matematiche, Fisiche e Naturali – Varese, Università degli Studi dell’Insubria
  21. Informatica Teorica, Corso di Laurea Specialistica in Informatica, aa 2003/04, Facoltà di Scienze Matematiche, Fisiche e Naturali – Varese, Università degli Studi dell’Insubria
  22. Applicazioni Web-based, Master in Web & Business, aa 2003/04, Facoltà di Economia, Università degli Studi dell’Insubria
  23. Fondamenti di Informatica, Laurea in Informatica, aa 2002/03, Facoltà di Scienze Matematiche, Fisiche e Naturali – Varese, Università degli Studi dell’Insubria
  24. 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
  25. Laboratorio di Sistemi Operativi, Laurea in Informatica, aa 2001/02, Facoltà di Scienze Matematiche, Fisiche e Naturali – Varese, Università degli Studi dell’Insubria
  26. Sistemi Operativi, Master in Informatica e Comunicazione per le Scienze Umanistiche, aa 2001/02, Facoltà di Lettere e Filosofia, Università degli Studi di Milano
  27. Applicazioni Web-based, Master in Web & Business, aa 2001/02, Facoltà di Economia, Università degli Studi dell’Insubria
  28. Laboratorio di Reti di Telecomunicazione, Laurea in Informatica, aa 2001/02, Facoltà di Scienze Matematiche, Fisiche e Naturali – Varese, Università degli Studi dell’Insubria
  29. Laboratorio di Linguaggi, Laurea in Informatica, aa 2001/02, Facoltà di Scienze Matematiche, Fisiche e Naturali – Varese, Università degli Studi dell’Insubria
  30. Logica Computazionale, Laurea in Informatica, aa 2001/02, Facoltà di Scienze Matematiche, Fisiche e Naturali – Varese, Università degli Studi dell’Insubria
  31. Laboratorio di Sistemi Operativi, Diploma in Informatica, aa 2000/01, Facoltà di Scienze Matematiche, Fisiche e Naturali – Varese, Università degli Studi dell’Insubria
  32. Sistemi Operativi, Master in Informatica e Comunicazione per le Scienze Umanistiche, aa 2000/01, Facoltà di Lettere e Filosofia, Università degli Studi di Milano
  33. Reti di Telecomunicazione, Diploma in Informatica, aa 2000/01, Facoltà di Scienze Matematiche, Fisiche e Naturali – Varese, Università degli Studi dell’Insubria
  34. 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
  35. Logiche Costruttive, Dottorato di Ricerca in Informatica, aa 2000/01, Facoltà di Scienze Matematiche, Fisiche e Naturali, Università degli Studi di Milano
  36. 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
  37. Laboratorio di Sistemi Operativi, Diploma in Informatica, aa 1999/00, Facoltà di Scienze Matematiche, Fisiche e Naturali – Varese, Università degli Studi dell’Insubria
  38. Sistemi Operativi, Master in Informatica e Comunicazione per le Scienze Umanistiche, aa 1999/00, Facoltà di Lettere e Filosofia, Università degli Studi di Milano
  39. 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
  40. Logica II – Esercitazioni, Diploma in Informatica, aa 1999/00, Facoltà di Scienze Matematiche, Fisiche e Naturali, Università degli Studi di Milano
  41. 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
  42. Programmazione II – Esercitazioni, Diploma in Informatica, aa 1998/99, Facoltà di Scienze Matematiche, Fisiche e Naturali, Università degli Studi di Milano
  43. Introduzione al Prolog, Laurea in Scienze dell’Informazione, aa 1994/95, Facoltà di Scienze Matematiche, Fisiche e Naturali, Università degli Studi di Milano