Research projects

Past research projects (in Italian)

Responsabile dell'Unità Operativa del progetto Cofinanziato M.U.R.S.T. "Certificazione automatica di programmi mediante Interpretazione Astratta" (coord. Prof. R. Giacobazzi, Università di Verona), presso il Dipartimento di Matematica dell'Università di Parma (1999-2001).
Responsabile dell'Unità Operativa del progetto speciale del C.N.R. su "Linguaggi di programmazione logica" (coord. Prof. M. Martelli), presso Dipartimento di Matematica dell'Università di Parma ('96-'97).
Responsabile del progetto di ricerca del C.N.R. su "Programmazione Logica con Insiemi" ('94).
Responsabile dell'Unità Operativa del progetto M.U.R.S.T. 40% "Modelli della computazione e dei linguaggi di programmazione" (coord. Prof. A. Maggiolo Schettini), presso il Dipartimento di Matematica dell'Università di Parma ('93-'94).

Progetto speciale del C.N.R. su "Linguaggi di programmazione logica" (coord. Prof. M. Martelli) (periodo: '96-'97).
Progetto M.U.R.S.T. 40% "Modelli della computazione e dei linguaggi di programmazione" (coord. Prof. A. Maggiolo Schettini)(periodo: '93-'94).
Progetto M.U.R.S.T. 40% "Sistemi Intelligenti" (periodo: '90-'92).
Progetto M.U.R.S.T. 40% "Progetto di Sistemi Software" (periodo: '90-'92).
Progetto Finalizzato "Sistemi Informatici e Calcolo Parallelo" del C.N.R., Sottoprogetto 4 "Linguaggi di nuova concezione" (periodo: '89-'93).
Progetto M.P.I. 40% "Tecniche di ragionamento automatico in Sistemi Intelligenti" (periodo: '87-'89).
Partecipazione a progetto M.P.I. 40% "Architetture Software per Sistemi Intelligenti" (periodo: '85-'87).
Progetto ESPRIT P26 "Advanced algorithms and architectures for signal processing" (convenzione con CSELT Torino) (periodo: '85-'87).
Progetto M.P.I. 40% "Linguaggi ed architetture per la programmazione logica e funzionale" (periodo: '84-'87).
Progetto Finalizzato Informatica del C.N.R., obiettivo Cnet ("Campus Net"); attività di ricerca nell'area dei Sistemi Operativi e Linguaggi di Sistema (periodo: Febbr. '80-Sett. '82).