Ivan Lanese's Home Page

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

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

X: @IvanLanese

Address:: 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 for quantum 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, choreographic programming, and quantum computing.

Upcoming events I am involved in

Systems Software Engineering track of the 16th International Conference on Ambient Systems, Networks and Technologies (ANT 2025)

Roles in scientific institutions

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

Current projects and groups

OLAS: joint team between University of Bologna and INRIA Sophia Antipolis Méditerranée on Operational, Logical, and Algebraic foundations for Software systems
SmartCloud: French ANR project on Smart Dynamic Adaptivity for Cloud Computing Systems
ReGraDe-CS: European HEU Marie Skłodowska-Curie Postdoc Fellowship on Reversible Gray Debugging of Concurrent Systems, as supervisor
RCR: Reversible Computing Research Group, which aims at coordinating the Italian research in the field of reversible computing
MARVEL: Italian GNCS project on "Modelli composizionali per l'Analisi di sistemi ReVErsibiLi distribuiti" (Compositional Models for the Analysis of Reversible Distributed Systems)
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

Publications

You can browse my publications in the following web pages:

my publications page (under construction - some old publications may not yet be available, contact me if you need them)

Awards

Distinguished Reviewer Award in the "31st European Symposium on Programming" (ESOP 2022), part of the European joint conferences on theory & practice of software (ETAPS)
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.
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.
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.

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 (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)

Ivan Lanese (ivan.lanese@gmail.com)