Dr. Claudio Antares Mezzina is an Assistant Professor (Tenure Track) at the University of Urbino within the Department of Pure and Applied Sciences (DISPEA).
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 ( thesis). Before, he received a Laurea Degree cum laude from the Univerità di Bologna (October 2007).
Since February 2008 he has been a member of the SARDES team at INRIA Rhone Alpes in Grenoble. From Jan 2012 till Dec 2014 he has been a junior researcher within the SOA team at FBK in Trento working on adaptable business processes, goal models and smart cities. From Jan 2015 till August 2018 he has been an Assistant Professor at IMT School for Advanced Studies Lucca working within the SysMA group. Before joining the University of Urbino, he has been a Marie Curie Fellow at the Department of Informatics at the Leicester University.
His main research interests include formal methods, reversible computing, programming abstractions for fault-tolerant systems, distributed systems, adaptable systems, programming languages and compilers.
- 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
- Reversing P/T Nets Coordination 2019 [pdf] (with H. Melgratti and I. Ulidowski)
- On Reversibility and Broadcast RC 2018 [pdf]
- A Parametric Framework for Reversible pi-calculi EXPRESS/SOS 2018 [pdf]
- Reversible Choreographies via Monitoring in Erlang [pdf] (with E. Tuosto and A. Francalanza) DAIS 2018
- Improving availability in distributed tuple spaces via sharing abstractions and replication strategies PDP 2018 [pdf]
- A Safety and Liveness Theory for Total Reversibility TASE17 [pdf] (with V. Koutavas)
- Causally Consistent Reversible Choreographies: A Monitors-as-Memories Approach PPDP17 [pdf] (with J. A. Pérez)
- Reliability and fault-tolerance by choreographic design PrePost17 [pdf] (with E. Tuosto and A. Francalanza)
- Vitaly Burvalev (PhD, Improving the efficiency of tuple spases)
- Doriana Medić (PhD, Relative expressiveness of calculi for reversible concurrency)
Current Working Papers
- Static Vs Dynamic Reversibility in CCS (submitted)
- A Parametric Framework for Reversible pi-calculi (submitted)
- 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)
- Causal-Consistent Reversibility Bulletin of EATCS