Unità di ricerca

Per ottenere l'obbiettivo fissato, abbiamo coinvolto alcuni tra i principali gruppi di lavoro in questo ambito di ricerca in Italia, in modo da poter sfruttare le competenze comuni per una facile comunicazione, ma anche le competenze complementari per una fruttuosa collaborazione che porti a nuovi risultati sia teorici che pratici. Tali gruppi sono presenti anche in un ambito di ricerca internazionale, e producono regolarmente risultati sia teorici che applicativi che vengono ben accolti dalla comunita' internazionale e hanno dato luogo a nuove linee di ricerca all'interno della programmazione con vincoli. In particolare:

l'unita' 1 (Padova), che coordina questo progetto, ha forti competenze nell'ambito dei vincoli soft e delle preferenze, e anche nell'applicazione di tecniche di vincoli a problemi di scheduling;
l'unita' 2 (Udine) ha esperienza nella definizione e sviluppo di nuovi linguaggi di programmazione logica con vincoli su insiemi, e anche nell'applicazione di tecniche di vincoli al problemi della bioinformatica e all'analisi di sistemi ibridi;
l'unita' 3 (Genova) contribuisce a questo progetto con le sue competeneze nell'ambito dell'analisi di sistemi informatici tramite tecniche basate sui vincoli;
l'unita' 4 (Pescara) ha competenze sia nello studio dei linguaggi logici e concorrenti con vincoli, che nell'applicazione di vincoli a problemi legati alla sicurezza.

Valore aggiunto del consorzio

Tutte le unita' hanno una profonda conoscenza delle tecniche di vincoli, e hanno rivolto la loro attenzione a diverse applicazioni utilizzando idee e tecniche correlate tra loro. Il valore aggiunto del consorzio e' rappresentato quindi dalla possibilita', attraverso una piu' stretta collaborazione e ad incontri organizzati durante lo svolgimento del progetto, di unire competenze anche complementari con lo scopo di consolidare e migliorare i risultati delle singole unita' e aprire nuove prospettive per le tecniche sviluppate nei rispettivi campi applicativi.