Research projects

Partecipazione e coordinamento progetti di ricerca

Coordinatore del progetto "{log}: A Constraint Logic Programming Language with Sets" (Home page), presso il Dipartimento di Matematica dell'Università di Parma (dal 1994 a tutt'oggi).

Coordinatore del progetto "JSetL: a Java Library for Supporting Declarative Programming in Java" (Home page), presso il Dipartimento di Matematica dell'Università di Parma (2003-2020).

Partecipante al progetto "Aplicacion de programacion logica de restricciones conjuntistas a la validacion y verificacion de software" (coord. Prof. M. Cristiá, Università di Rosario, Argentina) finanziato da "Fondo para la Investigación Científica y Tecnológica (FONCyT)", Argentina (2015-2018).

Partecipante al progetto GNCS 2013 "Specifica e verifica di algoritmi tramite strumenti basati sulla teoria degli insiemi" (coord. naz. Prof. E. Omodeo, Università di Trieste).

Coordinatore nazionale progetto GNCS 2012 "Specifiche insiemistiche eseguibili e loro verifica formale".

Partecipante al progetto GNCS 2011 "Nuova architettura parallela per l'esecuzione di Programmi Logici mediante General Purpose Graphic Processing Unit (GPGPU)" (coord. naz. Prof. A. Dal Palù, Università di Parma).

Partecipante al progetto GNCS 2005 "Sviluppo di risolutori di vincoli e loro applicazioni" (coord. naz. Prof. A. Dovier, Università di Udine).

Responsabile dell'Unità Operativa del progetto Cofinanziato M.U.R.S.T. "Automatic Aggregate - and number-reasoning for computing: from decision algorithms to constraint programming with multisets, sets, and maps" (coord. naz. Prof. D. Cantone, Università di Catania), presso il Dipartimento di Matematica dell'Università di Parma (2001-2003).

Responsabile dell'Unità Operativa del progetto Cofinanziato M.U.R.S.T. "Certificazione automatica di programmi mediante Interpretazione Astratta" (coord. naz. Prof. R. Giacobazzi, Università di Verona), presso il Dipartimento di Matematica dell'Università di Parma (1999-2001).

Partecipante alla Rete d'Eccellenza "CoLogNet, the EU Network of Excellence in Computational Logic" (1998-2002).

Responsabile dell'Unità Operativa del progetto speciale del C.N.R. su "Linguaggi di programmazione logica" (coord. naz. Prof. M. Martelli), presso Dipartimento di Matematica dell'Università di Parma (1996-1997).

Coordinatore nazionale 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. naz. Prof. A. Maggiolo Schettini), presso il Dipartimento di Matematica dell'Università di Parma ('93-'94).

Partecipante al Progetto M.U.R.S.T. 40% "Modelli della computazione e dei linguaggi di programmazione" (coord. naz. Prof. A. Maggiolo Schettini)(periodo: '93-'94).

Partecipante al Progetto M.U.R.S.T. 40% "Sistemi Intelligenti" (periodo: '90-'92).

Partecipante al Progetto M.U.R.S.T. 40% "Progetto di Sistemi Software" (periodo: '90-'92).

Partecipante al Progetto Finalizzato "Sistemi Informatici e Calcolo Parallelo" del C.N.R., Sottoprogetto 4 "Linguaggi di nuova concezione" (periodo: '89-'93).

Partecipante al Progetto M.P.I. 40% "Tecniche di ragionamento automatico in Sistemi Intelligenti" (periodo: '87-'89).

Partecipante al progetto M.P.I. 40% "Architetture Software per Sistemi Intelligenti" (periodo: '85-'87).

Partecipante al Progetto ESPRIT P26 "Advanced algorithms and architectures for signal processing" (convenzione con CSELT Torino) (periodo: '85-'87).

Partecipante al Progetto M.P.I. 40% "Linguaggi ed architetture per la programmazione logica e funzionale" (periodo: '84-'87).

Partecipazione a 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).