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

Current projects and groups

E-CoRe: European HEU Marie Skłodowska-Curie Doctoral Network on Energy-efficient Computing via Reversibility, as coordinator
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
MARQ: Italian GNCS project on "Modelli e Analisi per sistemi Reversibili e Quantistici" (Models and Analyses for Reversible and Quantum 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
ChorEr: choreography extraction from Erlang source code

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), Microservices Software Architectures (second cycle degree in Computer Science), Introduction to Quantum Computing (second cycle degree in Computer Science) and Python Programming (second cycle degree in Bioinformatics). See here for more information.

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

Ivan Lanese (ivan.lanese@gmail.com)