Ivan Lanese

Sono interessato a seguire tesi (o tirocini) sia teoriche (principalmente per tesi magistrali) che implementative nell'ambito dei sistemi concorrenti e distribuiti, in particolare legate ai linguaggi per la loro programmazione e alle tecniche di modellazione, analisi e debugging di tali sistemi. Qui sotto fornisco una lista non esaustiva di topic.

Computazione quantistica

La computazione quantistica consente di risolvere alcuni problemi in modo molto più efficiente della computazione classica, a patto di comprendere fenomeni quantistici controintuitivi come la sovrapposizione e l'entanglement. In questo ambito sono interessato a studiare le relazioni tra teoria della concorrenza e computazione quantistica e tra computazione quantistica e computazione reversibile (vedi sotto).  

Linguaggi e modelli reversibili per la concorrenza

Un linguaggio di programmazione è reversibile se i suoi programmi possono essere eseguiti sia indietro che in avanti. In un linguaggio di questo tipo è possibile, ad esempio, gestire situazioni di errore ritornando indietro nell'esecuzione fino a quando non si trova una nuova strada in avanti che non porta ad errori. Alcuni argomenti specifici di mio interesse sono:

• estensioni del nostro debugger reversibile CauDEr per Erlang
  
• studio di tecniche di analisi quali bisimulazione o tipi comportamentali in ambito reversibile
• estensioni di linguaggi reversibili quali Janus con primitive di concorrenza
• linguaggi e modelli per la programmazione di sistemi parzialmente reversibili
• uso di linguaggi reversibili in ambito blockchain

Coreografie

Le coreografie sono formalismi per descrivere o programmare un'intero sistema distribuito tramite un unico modello o programma. Alcuni argomenti specifici di mio interesse sono:

• estensioni del linguaggio AIOCJ per la programmazione di sistemi coreografici
• sviluppo di tool per l'elaborazione e analisi di formalismi coreografici.

Linguaggio di programmazione 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.