All'interno delle tematiche legate ai sistemi distribuiti il progetto esplorerà i seguenti temi.
Soft computing e trattamento dell'informazione incerta. Modelli per la rappresentazione dell'informazione nel contesto della trasmissione dati nello spazio e nel tempo. Codici crittografici compressori e correttori. Studio dei sistemi immunitari biologici e artificiali analizzando capacità di apprendimento e contromisure del sistema per difendersi dagli agenti esterni. Estensione del modello "reflective Petri net" per modellare e analizzare l'evoluzione dinamica di sistemi non stop. Definizione di meccanismi ad hoc basati su aspect-oriented
programming. Realizzazione di un framework per misurare il software con l'intento di semplificarne la manutenzione e di un framework per l'analisi di sistemi distribuiti a runtime, mediante analisi del traffico di rete. Studio di strutture algebriche legate a logiche polivalenti (logiche fuzzy), con particolare riguardo alla combinatoria di tali strutture e delle loro strutture duali. Algoritmi per la bioinformatica.
Soft computing e trattamento dell'informazione incerta. Modelli per la rappresentazione dell'informazione nel contesto della trasmissione dati nello spazio e nel tempo. Codici crittografici compressori e correttori. Studio dei sistemi immunitari biologici e artificiali analizzando capacità di apprendimento e contromisure del sistema per difendersi dagli agenti esterni. Estensione del modello "reflective Petri net" per modellare e analizzare l'evoluzione dinamica di sistemi non stop. Definizione di meccanismi ad hoc basati su aspect-oriented
programming. Realizzazione di un framework per misurare il software con l'intento di semplificarne la manutenzione e di un framework per l'analisi di sistemi distribuiti a runtime, mediante analisi del traffico di rete. Studio di strutture algebriche legate a logiche polivalenti (logiche fuzzy), con particolare riguardo alla combinatoria di tali strutture e delle loro strutture duali. Algoritmi per la bioinformatica.