Presentation

Dr. Claudio Antares Mezzina is an Associate Professor at the University of Bari within the Department of Computer Science (DIB).

He received his PhD in Computer Science and Engineering, from both Université Joseph Fourier (France) and Università di Bologna (Italy) in February 2012, under the supervision of Jean-Bernard Stefani and Davide Sangiorgi. During his PhD he focused on the interplay between concurrency and reversibility in the setting of Higher-Order Pi (PhD thesis). Before, he received a Laurea Degree cum laude from the University of Bologna (October 2007).

Past

Since February 2008, he has been a member of the SARDES team at INRIA Rhône-Alpes in Grenoble. From January 2012 to December 2014, he was a junior researcher in the SOA team at the Bruno Kessler Foundation (FBK) in Trento, where he worked on adaptable business processes, goal models, and smart cities.

From January 2015 to August 2018, he was an Assistant Professor at IMT School for Advanced Studies Lucca, working within the SysMA research group. During this period, he was also a Marie Curie Fellow at the Department of Informatics of the University of Leicester.

From April 2019 to April 2021, he was a tenure-track Associate Professor at the University of Urbino. He subsequently served as an Associate Professor at the University of Urbino from April 2021 to July 2026.

Research Interests

My main research interests lie in formal methods for concurrent and distributed systems, with a particular focus on reversibility as a foundational principle for computation. In this context, I aim to develop primitives for automatic fault handling and the design of reliable systems through reversible and recoverable computation models. More recently, I have become interested in quantitative aspects—such as timing and stochastic behaviours—of reversible systems, as well as their applications to quantum computing.

Projects

• JSPS Fellowship 2025 on reversibility and go programming @Nagoya University
• co-PI of the Italian Mur Prin Project DeKLA: Developing Kleene Logics and their Applications
• Work Package Leader of the Italian Mur Prin Project NiRvAna: Noninterference and Reversible Analysis in Private Blockchains
• Local Leader for Urbino, of the MSCA Staff Exchange QCOMICAL on quantum computing
• Vice Coordinator of RCR: Reversible Computing Research Group
• National Coordinator of the INdAM - GNCS project: Proprietà qualitative e quantitative dei Sistemi Reversibili
• External member of the French ANR DCORE Project on Causal Debugging for Concurrent Systems

Past Activities

• Italian MC member of the COST action IC1405 on Reversible Computation
• WG-Leader of the Software and Systems working group of the COST Action IC1405 on Reversible Computation
• Marie Curie Individual Fellowship project RCADE on Reversible Debugger

PhD Students

• Vitaly Burvalev (PhD, Improving the efficiency of tuple spaces)
• Doriana Medić (PhD, Relative expressiveness of calculi for reversible concurrency)

Current Working Papers

• On asynchrony and reversibility in CCS (accepted at ICE 2026) (draft)
• On the Encodability of Reversible Process Calculi (accepted at CONCUR 2026) (extended abstract)

Past Events

• General chair of DisCoTec 2026
• Co-Chair of FORTE 2025
• Organizer of CORSE a WS to celebrate J-B Stefani (proceedings)
• PC-Member of EXPRESS/SOS2025
• Chair of RC 2022, EXPRESS/SOS 2022, EXPRESS/SOS2023
• PC Member of RC2024, RC2023, FORTE2023, DAIS2023, FORTE2022, DAIS 2022, ICTCS 2022, ICTCS 2021, RC 2021, DAIS 2021, ICE 2020, RC 2020, Coordination 2020, Dais 2020, Dais 2019, Coordination 2019, ICE 2019, Erlang 2019, Reversible Computing (RC) 2018, Express/SOS 2018, ICE 2018
• Organizer and Lecturer of the Training School in Reversible Computation (28-31 August 2017, Torun, Poland)

Recent Papers

• On Reversibility and Petri Nets FoSSaCS2026 (pdf)
• Bounded Reversibility in HOpi (pdf)
• Encoding Reversible Petri nets into CCSK (pdf]
• Alternative Characterizations of Hereditary History-Preserving Bisimilarity via Backward Ready Multisets FoSSaCS2025 (pdf)
• Reversibility in Process Calculi with Nondeterminism and Probabilities ICTAC2024
• Expansion Laws for Forward-Reverse, Forward, and Reverse Bisimilarities via Proved Encodings Express/SOS 2024 (pdf)
• Model Checking Reversible Systems: Forwardly RC 2024 (pdf)
• Rollback Recovery in Session-based Programming COORDINATION 2023 (best COORDINATION paper award, best DiScoTec paper award)
• Relating Reversible Petri Nets and Reversible Event Structures, categorically FORTE 2023 (best FORTE paper award)

Recent Journals

• Causal Reversibility in Nondeterministic Process Calculi Extended with Time or Probabilities Theor. Comp. Science (Elsevier) (pdf)
• Relating Reversible Petri Nets and Revesible Event Structures, Categorically - LMCS (pdf)
• Checkpoint-based rollback recovery in session programming - LMCS (pdf)
• A Reversible Perspective on Petri Nets and Event Structures - ACM TOCL
• A Truly Concurrent Semantics for Reversible CCS - LMCS (pdf)
• revTPL: The Reversible Temporal Process Language - LMCS (pdf)
• Bridging Causal Consistent and Time Reversibility: A Stochastic Process Algebraic Approach. LMCS (pdf)
• A Petri net view of covalent bonds Theor. Comp. Science (Elsevier)
• Causal Consistency for Reversible Multiparty Protocols. LMCS (pdf)
• Reversing Place Transition Nets. LMCS (pdf)
• Static Vs Dynamic Reversibility in CCS. Acta Informatica (Springer)
• A Parametric Framework for Reversible pi-calculi. Information and Computation
• Evaluating the efficiency of Linda implementations. Concurrency and Computation: Practice and Experience (Wiley)
• Reversibility in session-based concurrency: A fresh look J. Log. Algebr. Meth. Program (Elsevier)
• Causal-consistent rollback in a tuple-based language J. Log. Algebr. Meth. Program (Elsevier)
• Reversibility in the Higher-Order pi-calculus Theor. Comp. Sci. (Elsevier) (One of the most cited TCS articles since 2016)