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