Proposte per tesi di laurea (triennale/specialistica)

TEORIA:

--- Espressivita' di linguaggi e modelli per la concorrenza, membrane computing, e systems biology

--- Studio di nuovi algoritmi per l’analisi di sistemi concorrenti (es. algoritmi di mutua esclusione) basati su teoria dei linguaggi (espressioni regolari ecc)

--- Uso di solver per codifica di problemi di decisione per proprieta’ funzionali di un sistema software

--- Applicazioni di teoria degli automi (word e tree automata) per validazione politiche di trasformazione di documenti XML

PRATICA:

--- Applicazione di tool di analisi a casi di studio (es. modellazione di un protocollo crittografico con un linguaggio “formale” e sua analisi)

--- Uso di GPU (processori grafici) o FPGA per implementare procedure di esplorazione di stati (es. ricerca esaustiva o simbolica)

--- Uso di tool di software verification per analizzare codice C o Java

--- Implementazione di algoritmi efficienti di simulazione stocastica di signalling networks (systems biology)

--- Uso di logiche temporali per ragionare su dati sperimentali (es. simulazione di reti molecolari)

Se siete interessati ad uno dei seguenti argomenti contattate:
Giorgio Delzanno
Email: giorgio@disi.unige.it
Tel. 3536638