Ivan Lanese's Home Page

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

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

Twitter: @IvanLanese

Address:: Via Malaguti, 1/D
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

5th International Conference on Microservices (MICROSERVICES 2023)

Roles in scientific institutions

I am currently chair of IFIP WG6.1 on Architectures and Protocols for Distributed Systems

Current projects and groups

FOCUS: joint team between University of Bologna and INRIA Sophia Antipolis Méditerranée on FOundations of Component-based Ubiquitous Systems
DCore: French ANR project on Causal Debugging for Concurrent Systems
BEHAPI: European H2020 RISE Marie Skłodowska-Curie Action on Behavioural Application Program Interfaces
GNCS 2022: Italian GNCS project on "Proprietà Qualitative e Quantitative di Sistemi Reversibili" (Qualitative and Quantitative Properties of Reversible Systems)
SAFER: EU (FEDER) and the Spanish MCI/AEI project on "Analysis and Validation of Software and Web Resources", as international collaborator
OVERLAY: fOrmal VERification, Logic, Automata, and sYnthesis research group on Formal Methods for AI

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:

CauDEr: a Causal-consistent Reversible Debugger for Erlang, and a tracer producing traces to be analyzed
JIoT: support for IoT protocols in the Jolie language
AIOCJ: a choreographic language for adaptive distributed applications

Pubblications

You can browse my publications in the following web pages:

my publications page

Awards

My PhD thesis has been awarded the prize for the best PhD theses in Theoretical Computer Science by the Italian Chapter of EATCS in 2007.
The paper "The stream-based service-centred calculus: a foundation for service-oriented programming" by Luís Cruz-Filipe, myself, Francisco Martins, António Ravara and Vasco Thudichum Vasconcelos, in Formal Aspects of Computing 26(5) is part of the list of Notable Books and Articles in Computing of 2014 by ACM Computing Reviews.
The paper "Reversibility in the higher-order pi-calculus" by myself, Claudio Antares Mezzina and Jean-Bernard Stefani, in Theoretical Computer Science 625 is part of the list of Most Cited Theoretical Computer Science Articles published since 2015 by Theoretical Computer Science Journal.

Work

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

Teaching

Office hours: by e-mail appointment, at my office (Via Malaguti 1/D).

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

Ivan Lanese (ivan.lanese@gmail.com)