Attività Didattiche di Marco Comini

In questa pagina si elenca l'Attività Didattica da me svolta nonché i links alle pagine destinate agli studenti che frequentano le rispettive lezioni in corso.

Per i curiosi consiglio di guardare questa pagina (anche se è un po vecchiotta).

Si fa inoltre presente agli studenti che sono disponibili tesi per laurea specialistica o triennale (sia di carattere più implementativo che di carattere più teorico) su vari argomenti, di cui se ne elencano alcuni nel seguito.

Tesi magistrali o triennali e/o laboratori avanzati (possibili argomenti):

• Verifica/Analisi di Linguaggi Logico-Funzionali
• Verifica/Analisi di Linguaggi Funzionali
• Verifica/Analisi di Linguaggi Logici (con vincoli)
• Verifica/Analisi di Diagrammi UML (con vincoli OCL) [si veda anche questa pagina di A. Baruzzo]
• Linguaggi con vincoli
• Trasformazioni di programmi
• Implementazione di Macchine Astratte

Anno Accademico 2019/2020

• Analisi e Verifica mediante Interpretazione Astratta
• Informatica Multimediale
• Linguaggi e Compilatori

Anno Accademico 2018/2019

• Analisi e Verifica mediante Interpretazione Astratta
• Informatica Multimediale
• Linguaggi e Compilatori

Anno Accademico 2017/2018

• Analisi e Verifica mediante Interpretazione Astratta
• Informatica Multimediale
• Linguaggi e Compilatori

Anno Accademico 2016/2017

• Analisi e Verifica mediante Interpretazione Astratta
• Linguaggi di Programmazione (Linguaggi e Compilatori 1)
• Linguaggi e Compilatori (Linguaggi e Compilatori 2)

Anno Accademico 2015/2016

• Linguaggi di Programmazione (Linguaggi e Compilatori 1)
• Linguaggi e Compilatori (Linguaggi e Compilatori 2)

Anno Accademico 2014/2015

• Analisi e Verifica mediante Interpretazione Astratta Corso BIENNALE
• Linguaggi (Linguaggi e Compilatori 1)
• Linguaggi e Compilatori (Linguaggi e Compilatori 2)

Anno Accademico 2013/2014

• Linguaggi (Linguaggi e Compilatori 1)
• Linguaggi e Compilatori (Linguaggi e Compilatori 2)
• Teorie e tecniche del Web 2.0

Anno Accademico 2012/2013

• Interpretazione Astratta e Analisi Automatica del Software Corso BIENNALE
• Linguaggi (Linguaggi e Compilatori 1)
• Linguaggi e Compilatori (Linguaggi e Compilatori 2)

Anno Accademico 2011/2012

• Linguaggi (Linguaggi e Compilatori 1)
• Linguaggi e Compilatori (Linguaggi e Compilatori 2)

Anno Accademico 2010/2011

• Analisi e Verifica mediante Interpretazione Astratta Corso BIENNALE
  (include il vecchio Interpretazione Astratta e Analisi Automatica del Software)
• Linguaggi 1
• Linguaggi 2 (modulo del corso di Linguaggi e Compilatori)

Anno Accademico 2009/2010

• Linguaggi 1 e 2
• Compilatori

Anno Accademico 2008/2009

• Interpretazione Astratta e Analisi Automatica del Software
• Linguaggi 1 e 2

Anno Accademico 2007/2008

• Interpretazione Astratta e Analisi Automatica del Software
• Linguaggi 1 e 2

Anno Accademico 2006/2007

• Tecniche Formali per l'Ingegneria del Software (Interpretazione Astratta)
• Linguaggi 1 e 2

Anno Accademico 2005/2006

• Tecniche Formali per l'Ingegneria del Software
• Linguaggi 1 e 2

Anno Accademico 2004/2005

• Tecniche Formali per l'Ingegneria del Software
• Sistemi Operativi
• Introduzione all'interpretazione astratta, Laboratorio di Linguaggi, Esercitazioni e Complementi, all'interno dei corsi di Linguaggi 1 e 2 + testi esami

Anno Accademico 2003/2004

• Laboratorio di Architetture degli Elaboratori (Corso A e B)
• Introduzione all'interpretazione astratta, Laboratorio di Linguaggi, Esercitazioni e Complementi, all'interno dei corsi di Linguaggi 1 e 2 +testi esami
• Fondamenti di Informatica (Master)

Anno Accademico 2002/2003

• Esercitazioni di Linguaggi di Programmazione
• Esercitazioni e Laboratorio di Linguaggi di Programmazione 2
• Esercitazioni del corso di Architetture degli Elaboratori
• Laboratorio di Architetture degli Elaboratori

Anno Accademico 2001/2002

• Introduzione all'interpretazione astratta, all'interno dei corsi di Linguaggi di Programmazione 1 e 2
• Laboratorio di Linguaggi di Programmazione 2
• Esercitazioni del corso di Architetture degli Elaboratori
• Laboratorio di Architetture degli Elaboratori

Anno Accademico 2000/2001

• Introduzione all'interpretazione astratta, all'interno dei corsi di Linguaggi di Programmazione 1 e 2
• Laboratorio di Architetture degli Elaboratori
• Laboratorio di Basi di Dati