Ivan Lanese's Home Page

Associate Professor in Computer Science
University of Bologna/INRIA, Italy

E-mail address: ivan.lanese@gmail.com

Twitter: @IvanLanese

Mura Anteo Zamboni, 7
Bologna, Italy
tel.: 339/5861783

Research interests

I am mainly interested in formal methods and programming languages for distributed and mobile systems, such as service oriented systems (including microservices and serverless) and IoT systems. I aim at providing languages, analysis techniques and tools to support the programming of correct concurrent and distributed applications. I am currently active in reversible computing (see also our overview book), and in particular reversible debugging of Erlang programs, and choreographic programming.

Upcoming events I am involved in

Roles in scientific institutions

Current projects and groups

Collaboration with industry

I am participating to the Jolie project, aiming at developing Jolie, a language for programming service oriented applications. Jolie has born at the Computer Science Department of University of Bologna, inside the European FET-GC2 project Sensoria. Jolie is currently developed by the Computer Science Department of University of Bologna and by company ItalianaSoftware.

Software development

Besides participating to the Jolie project above, I am contributing to the following projects:


You can browse my publications in the following web pages:



You can find more detailed information about my work and my job history (talks, projects, event organization, teaching, ...) here.


Office hours: by e-mail appointment, at my office (Mura Anteo Zamboni 7, second floor).
I am currently teaching Computer Architecture (first cycle degree in Computer Science), Service-Oriented Software Engineering (second cycle degree in Computer Science) and Computational Methods for Bioinformatics (second cycle degree in Bioinformatics). See here for more information.
I will soon start teaching Introduction to Quantum Computing and Microservices Software Architectures.

Qualcosa in più su di me (famiglia e hobby) Only in Italian

Ivan Lanese (ivan.lanese@gmail.com)