Nell'ambito del progetto, verranno sviluppate ed applicate tecniche proprie della teoria dei linguaggi
formali all'analisi di vari tipi di sistemi computazionali e di problemi di bioinformatica.
In particolare, si segnalano due filoni di ricerca. Il primo si concentra sullo studio e sulla sintesi di sistemi
computazionali che operano con quantitativi estremamente contenuti di risorse computazionali. Particolare
rilievo verrà dato a modelli di calcolo probabilistici e quantistici. Verranno confrontate la potenza computazionale e descrittiva di questi modelli con quelle di dispositivi classici. Verranno inoltre
affrontate problematiche riguardanti linguaggi di parentesi (XML) e sistemi di compressione di dati.
La seconda linea di ricerca verte su problemi di bioinformatica. Particolare attenzione sarà dedicata allo sviluppo e all'analisi di algoritmi per l'estrazione di informazioni per dati genomici o proteomici, con particolare riguardo a metodi per lo studio della stabilità dei cluster, attraverso tecniche basate su perturbazioni ottenute con proiezioni a caso. Verranno inoltre sviluppati modelli artificiali di dati gnomici da utilizzare come benchmark per confrontare sperimentalmente i vari algoritmi.