World's Best Scientists 2026 revealed!

D-Index & Metrics

Computer Science

D-Index
31
Citations
3622
World Ranking
13732
National Ranking
500

Overview

Ivan Lanese is affiliated with the University of Bologna in Italy and works primarily in the field of Computer Science, contributing extensively across subfields such as Artificial Intelligence, Computer Networks and Communications, Computational Theory and Mathematics, Hardware and Architecture, and Information Systems.

The main topics covered in Ivan Lanese's research include distributed systems and fault tolerance, logic, programming, and type systems, formal methods in verification, parallel computing and optimization techniques, quantum computing algorithms and architecture, security and verification in computing, and computability, logic, AI algorithms.

Lanese has authored several academic papers on topics related to reversible computation and concurrency. Notable recent publications include:

  • "Composition and decomposition of multiparty sessions" (2020) published in the Journal of Logical and Algebraic Methods in Programming
  • "Causal-Consistent Replay Reversible Semantics for Message Passing Concurrent Programs" (2021) in Fundamenta Informaticae
  • "A General Approach to Derive Uncontrolled Reversible Semantics" (2020) through Leibniz-Zentrum für Informatik (Schloss Dagstuhl)
  • "An Axiomatic Theory for Reversible Computation" (2024) published by ACM Transactions on Computational Logic
  • "Reversible Execution for Robustness in Embodied AI and Industrial Robots" (2021) in IT Professional

In addition to journal articles, Ivan Lanese has contributed to the publishing of books under Springer Science+Business Media. The works include Reversible Computation: Extending Horizons of Computing (2020) and Reversible Computation (2020), reflecting a focused interest in the theory and applications of reversible computing.

Lanese frequently collaborates with other scholars in the field. Prominent coauthors include Emilio Tuosto, Franco Barbanera, Irek Ulidowski, Jean-Bernard Stefani, and Claudio Antares Mezzina, with multiple joint publications.

The scientist's research is regularly published in a variety of venues. Among these, the most frequent include:

  • arXiv (Cornell University)
  • Journal of Logical and Algebraic Methods in Programming
  • Leibniz-Zentrum für Informatik (Schloss Dagstuhl)
  • IT Professional
  • Logical Methods in Computer Science

Best Publications

  • Foundations of Session Types and Behavioural Contracts

    Hans Hüttel;Ivan Lanese;Vasco T. Vasconcelos;Luís Caires

  • Microservices: How To Make Your Application Scale

    Nicola Dragoni;Nicola Dragoni;Ivan Lanese;Stephan Thordal Larsen;Manuel Mazzara

  • SCC: a service centered calculus

    M. Boreale;R. Bruni;L. Caires;R. De Nicola

  • Bridging the Gap between Interaction- and Process-Oriented Choreographies

    I. Lanese;C. Guidi;F. Montesi;G. Zavattaro

  • Disciplining Orchestration and Conversation in Service-Oriented Computing

    I. Lanese;V.T. Vasconcelos;F. Martins;A. Ravara

  • Reversing higher-order pi

    Ivan Lanese;Claudio Antares Mezzina;Jean-Bernard Stefani

  • Controlling reversibility in higher-order Pi

    Ivan Lanese;Claudio Antares Mezzina;Alan Schmitt;Jean-Bernard Stefani

  • On the Expressiveness and Decidability of Higher-Order Process Calculi

    I. Lanese;J.A. Perez;D. Sangiorgi;A. Schmitt

  • Causal-Consistent Reversible Debugging

    Elena Giachino;Ivan Lanese;Claudio Antares Mezzina

  • A basic algebra of stateless connectors

    Roberto Bruni;Ivan Lanese;Ugo Montanari

  • An operational semantics for a calculus for wireless systems

    Ivan Lanese;Davide Sangiorgi

  • Synchronised hyperedge replacement as a model for service oriented computing

    Gian Luigi Ferrari;Dan Hirsch;Ivan Lanese;Ugo Montanari

  • Reversibility in the higher-order π-calculus

    Ivan Lanese;Claudio Antares Mezzina;Jean-Bernard Stefani

  • Causal-Consistent Reversibility

    Ivan Lanese;Claudio Antares Mezzina;Francesco Tiezzi

  • Multiparty sessions in SOC

    Roberto Bruni;Ivan Lanese;Hernán Melgratti;Emilio Tuosto

  • Concurrent flexible reversibility

    Ivan Lanese;Michael Lienhardt;Claudio Antares Mezzina;Alan Schmitt

  • Towards a unifying theory for web services composition

    Manuel Mazzara;Ivan Lanese

  • Cauder: A causal-consistent reversible debugger for erlang

    Ivan Lanese;Naoki Nishida;Adrián Palacios;Germán Vidal

  • Microservices: a Language-based Approach

    Claudio Guidi;Ivan Lanese;Manuel Mazzara;Fabrizio Montesi

  • A framework for rule-based dynamic adaptation

    Ivan Lanese;Antonio Bucchiarone;Fabrizio Montesi

Frequent Co-Authors

Gianluigi Zavattaro
Gianluigi Zavattaro University of Bologna
Davide Sangiorgi
Davide Sangiorgi University of Bologna
Ugo Montanari
Ugo Montanari University of Pisa
Robert Glück
Robert Glück University of Copenhagen
José Luiz Fiadeiro
José Luiz Fiadeiro University of Dundee
Farhad Arbab
Farhad Arbab Leiden University
Marco Di Felice
Marco Di Felice University of Bologna

If you think any of the details on this page are incorrect, let us know.

Report an issue

We appreciate your kind effort to assist us to improve this page, it would be helpful providing us with as much detail as possible in the text box below:

Related Online Degrees & Career Pathways

If you are exploring study and career options related to Computer Science in the USA, online degrees offer flexibility and a diverse range of pathways. Many students look for the fastest computer science degree to help them graduate sooner and enter the workforce more quickly.

Alongside computer science, other STEM fields like environmental engineering are gaining popularity with online options. If you're interested in sustainability, check out an online environmental engineering degree to pursue careers in green technology or environmental consulting.

Cost is a big factor for many students. Those seeking affordable options in the engineering field may want to explore the cheapest online mechanical engineering degree programs as a way to save on tuition while building strong technical skills.

Even traditional science disciplines like physics now have online options. Wondering, can you get a physics degree online? The answer is yes—many institutions now provide flexible online physics programs to help you launch a career in research, education, or engineering.

Best Scientists Citing Ivan Lanese

Trending Scientists

Recently Published Articles