Home Page di Ivan Lanese

Argomenti di tesi

Sono interessato a seguire principalmente tesi legate allo studio e sviluppo di sistemi concorrenti o distribuiti. Qui sotto fornisco una lista non esaustiva di topic.
Calcoli e linguaggi reversibili
Sono interessato a seguire tesi relative 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:
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:
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
Back to home page
Ivan Lanese (ivan.lanese@gmail.com)