Teaching

     red bullet Calcolabilita' e Complessita' dall'anno accademico 2010/2011 (anni accademici precedenti: 09/10)
     red bullet Laboratorio di ASD dall'anno accademico 2009/2010 (anni accademici precedenti: 08/09, 07/08, 06/07, 05/06, 04/05)
     red bullet Fondamenti di LP A.A. 2008/2009. Anni precedenti
     red bullet SICSI
         green bullet SICSI VIII ciclo: Storia dell'Informatica e del Calcolo Automatico
         green bullet SICSI VII ciclo: Storia dell'Informatica e del Calcolo Automatico
         green bullet Corsi abilitanti 2006/2007: Storia dell'Informatica e del Calcolo Automatico
     red bullet Corso di Metodi Formali per la Verifica di Sistemi Aperti - Dottorato di Ricerca in Informatica - Salerno 22 e 29 Maggio 2006
NEWS:
Secondo progetto LASD con Stack e Code.
HOME