Home Page di Ivan Lanese
Argomenti di tesi
Sono interessato a seguire tesi sia teoriche che implementative
nell'ambito dei sistemi concorrenti e distribuiti, in particolare
legate ai liguaggi per la loro programmazione e alle tecniche di
modellazione, analisi e debugging di tali sistemi. Qui sotto fornisco
una lista non esaustiva di topic.
Calcoli e linguaggi reversibili
Sono interessato allo studio di calcoli e linguaggi reversibili in
ambito concorrente. Un linguaggio reversibile è un linguaggio
in cui è possibile tornare indietro lungo l'esecuzione. In un
linguaggio di questo tipo è possibile gestire situazioni di
errore ritornando indietro nell'esecuzione fino a quando non si trova
una nuova strada in avanti che non porta ad errori.
Questo ambito di ricerca è supportato dalla COST Action Europea
Reversible
computation - extending horizons of computing.
Alcuni argomenti specifici sono:
- estensioni del debugger
reversibile CauDEr per Erlang da
noi sviluppato
- studio di tecniche di analisi quali bisimulazione o tipi
comportamentali in ambito reversibile
Linguaggio Jolie
Il linguaggio Jolie è
un linguaggio per la programmazione di applicazioni orientate ai
servizi nato all'interno dell'Università di Bologna e ora sviluppato
dall'azienda ItalianaSoftware. Sono
interessato a seguire tesi legate al linguaggio Jolie, anche in
collaborazione con ItalianaSoftware.
Alcuni argomenti possibili sono:
- uso di Jolie per la programmazione di sistemi IoT
- implementazione in Jolie di primitive per speculative parallelism
Coreografie
Le coreografie sono linguaggi per descrivere e
programmare un'intero sistema distribuito tramite un unico programma.
Siamo interessati a estendere il linguaggio AIOCJ per la programmazione di sistemi coreografici.
Come contattarmi
Prendere appuntamento via mail all'indirizzo di cui sotto.
Ufficio
Via Malaguti 1/D (sede distaccata del Dipartimento di Scienze dell'Informazione)
Email
ivan.lanese@gmail.com
Ivan Lanese (ivan.lanese@gmail.com)