Ivan Lanese

I am interested in supervising both theoretical (mainly for master thesis) and practical thesis (or internships) in the area of concurrent and distributed systems, in particular on languages for programming them and on techniques for modelling, analysing and debugging them. You can find below a non-exaustive list of topics.  

Quantum computing

Quantum computing allows one to solve some problems in a much more efficient way than classical computation, provided that one can understand counterintuitive quantum phenomena such as superposition and entanglement. In such a setting I am interested in studying the relations between quantum computing and concurrency theory as well as between quantum computing and reversible computing (see below).

Reversible languages and models for concurrency

A programming language is reversible when one can compute backwards as well as forwards. In such a language one can, e.g., manage error situations by going backwards till a new way forward, not leading to an error situation, if found. Specific topics I am interested in include:

• extensions of our reversible debugger CauDEr for Erlang
  
• study of analysis techniques such as bisimulation or behavioural types in a reversible setting
• extensions of reversible languages such as Janus with concurrency primitives
• languages and models for programming partially reversible systems
• use of reversible languages for blockchains

Choreographies are formalisms to describe or program a whole distributed system as a unique model or program. Specific topics I am interested in include:

• extensions of the language AIOCJ to program choreographies systems
• development of tools for management and analysis of coreographic formalisms.

Jolie programming language

The Jolie language is a language to program service-oriented applications born inside Bologna University and currently developped by the ItalianaSoftware company. I am interested in supervising thesis related to the Jolie programming language, also in collaboration with ItalianaSoftware.