Department of Computer Science

---

---

Anno Accademico 2018-19

• Fondamenti di Programmazione e Laboratorio (Laurea in Matematica)
  9 CFU, I semestre
• Security Methods and Verification (Laurea Magistrale in Informatica e Networking, Laurea Magistrale in Informatica)
  6 CFU, II semestre

Anno Accademico 2017-18

• Fondamenti di Programmazione (Laurea in Matematica)
  9 CFU, I semestre
• Logica per la Programmazione (Corso B) (Laurea in Informatica)
  6 CFU, I semestre
• Security methods and verification (Laurea Magistrale in Informatica e Networking, Laurea Magistrale in Informatica)
  6 CFU, II semestre

Anno Accademico 2016-17

• Fondamenti di Programmazione (Laurea in Matematica)
  9 CFU, I semestre
• Logica per la Programmazione (Corso B) (Laurea in Informatica)
  6 CFU, I semestre
• Metodi Formali per la Sicurezza (Formal Methods fo Security) (Laurea Magistrale in Informatica e Networking, Laurea Magistrale in Informatica)
  6 CFU, II semestre

Anno Accademico 2014-15

• Linguaggio Matematico di Base, Modellazione e Ragionamento (Laurea in Informatica)
  14-26 settembre 2014
• Fondamenti di Programmazione (Laurea in Matematica)
  9 CFU, I semestre
• Logica per la Programmazione (Corso B) (Laurea in Informatica)
  6 CFU, I semestre
• Metodi Formali per la Sicurezza (Formal Methods fo Security) (Laurea Magistrale in Informatica e Networking, Laurea Magistrale in Informatica)
  6 CFU, II semestre

Anno accademico 2013-2014

• Linguaggio Matematico di Base, Modellazione e Ragionamento (Laurea in Informatica)
  16 settembre - 1 ottobre 2013.
• Fondamenti di Programmazione (Matematica)
  9 CFU, II semestre
• Metodi Formali per la Sicurezza (Laurea Magistrale in Informatica e Networking, Laurea Magistrale in Informatica)
  6 CFU, II semestre

Anno accademico 2012-2013

• Fondamenti di Programmazione (Matematica)
  9 CFU, II semestre
• Metodi Formali per la Sicurezza (Laurea Magistrale in Informatica e Networking WIN)
  6 CFU, II semestre

Anno accademico 2011-2012

• Fondamenti di Programmazione (Matematica)
  9 CFU, II semestre
• Metodi Formali per la Sicurezza (Laurea Magistrale in Informatica e Networking WIN)
  6 CFU, II semestre

Anno accademico 2010-2011

• Informatica e Didattica (Laurea Magistrale in Informatica)
  6 CFU, I-II Semestre
• Fondamenti di Programmazione (Matematica)
  9 CFU, II semestre
• Metodi Formali per la Sicurezza (Laurea Magistrale in Informatica e Networking WIN)
  6 CFU, II semestre

Anno accademico 2009-2010

• Fondamenti di Programmazione (Matematica)
• Informatica Generale e Laboratorio di Informatica (Comunicazione Pubblica, Sociale e di Impresa)

Anno accademico 2008-2009

• LSD Laboratorio di Strutture Dati - Corso A
• Fondamenti di Programmazione (Matematica)
• Informatica (Agraria)

Anno accademico 2007-2008

• LSD Laboratorio di Strutture Dati - Corso A
• Informatica (Agraria)

Anno accademico 2006-2007

• LSD Laboratorio di Strutture Dati - Corso A
• Informatica (Agraria)

Anno accademico 2005-2006

• LSD Laboratorio di Strutture Dati - Corso A
• Informatica (Agraria)

Anno accademico 2003 -2004

• Laboratorio di Programmazione Concorrente - Corso A
• Informatica (Agraria)

Anno accademico 2002 -2003

• Laboratorio di Programmazione Concorrente - Corso A
• Informatica (Agraria)

Anno accademico 2001-2002

• Laboratorio di Programmazione Concorrente - Corso A
• Informatica (Agraria)

Anno accademico 2000-2001

• Laboratorio di Informatica III - Corso E