Corsi tenuti presso l'Università di Udine

• 2012. Progetto Lauree Scientifiche: CODICI SEGRETI
• II semestre: Fondamenti dell'Informatica (9CFU). Laurea triennale in informatica (dal 2010/2011).
• II Semestre 2012. Codici Segreti: Un viaggio nella crittografia per il Progetto Lauree Scientifiche.
• I semestre: Teoria dell'Informazione (Crittografia e Complessità) (CdL Informatica, VO, LS in Informatica e in Tecnologie dell'Informazione, LM in Informatica).
• Fall 2011. Logic Programming, Knowledge Representation, and Non Monotonic Reasoning. (dottorato di ricerca in Informatica)
• Biennale, attivo negli anni accademici x/x+1 ove x mod 2 = 0, II semestre:
  Constraint Programming & Planning (vecchio nome: Linguaggi di Nuova Concezione) (LS Informatica).

• Fondamenti dell'Informatica 2 (CdL Informatica - 2002/2003--2009/2010)
• Informatica I A.A. 2001/2002-2006/2007 (6 anni).(CdL Matematica).
• Algoritmi e Complessità A.A. 2003/2004, 2004/2005, 2009/2010 (CdL Informatica, LS).
• Corso di dottorato Vincoli NMR (Maggio 2008)
• Reti e Alfabetizzazione Informatica A.A. 2001/2002 e 2002/2003 (SSIS)
• Fondamenti dell'Informatica 1 A.A. 2002/2003 (SSIS)
• Laboratorio di Programmazione A.A. 2001/2002 (CdL TWM)
• Sistemi di Elaborazione A.A. 2001/2002 (CdD Gorizia)

• Se siete interessati a delle TESI con me, premete qui.

Dispense Didattiche (Lecture Notes) on-line

• Con Roberto Giacobazzi:
  Fondamenti dell'Informatica (ultimo aggiornamento: 17 FEBBRAIO 2011)
• Con Andrea Formisano.
  Programmazione Dichiarativa con Prolog, CLP, ASP, e CCP. (ultimo aggiornamento: 21 APRILE 2008)
• A. Dovier.
  Rudimenti di programmazione in C. Note per il corso di Informatica 1--Corso di Laurea in Matematica.

Corsi tenuti presso l'Università di Verona (1997-2001)

• Fondamenti dell'Informatica: Complessità
  
• Linguaggi e Tecniche Speciali di Programmazione.
  
• Fondamenti dell'Informatica.